| [13933] | 1 | <!-- this file is derived from sample_tex.html from the MathJax distribution -->
|
|---|
| 2 | <!-- Copyright (c) 2010-2015 The MathJax Consortium -->
|
|---|
| [7446] | 3 | <!-- adapted by HEAL for HeuristicLab-->
|
|---|
| 4 | <!DOCTYPE html>
|
|---|
| 5 | <html>
|
|---|
| 6 | <head>
|
|---|
| [13933] | 7 | <meta http-equiv="X-UA-Compatible" content="IE=edge" />
|
|---|
| 8 | <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
|
|---|
| 9 | <meta name="viewport" content="width=device-width, initial-scale=1">
|
|---|
| 10 |
|
|---|
| 11 | <!-- title change by HEAL -->
|
|---|
| 12 | <title>Symbolic Expression Tree</title>
|
|---|
| 13 |
|
|---|
| 14 | <script type="text/x-mathjax-config">
|
|---|
| 15 | MathJax.Hub.Config({
|
|---|
| 16 | extensions: ["tex2jax.js", "TeX/AMSmath.js", "TeX/AMSsymbols.js"],
|
|---|
| 17 | jax: ["input/TeX","output/SVG"],
|
|---|
| 18 | tex2jax: {inlineMath: [["$","$"],["\\(","\\)"]]},
|
|---|
| 19 | "HTML-CSS": {preferredFont: "STIX-Web"},
|
|---|
| 20 | MathMenu: { showLocale:false},
|
|---|
| 21 | imageFont: null
|
|---|
| 22 | });
|
|---|
| 23 | </script>
|
|---|
| 24 |
|
|---|
| 25 | <script type="text/javascript" async
|
|---|
| 26 | src="./MathJax/MathJax.js?config=TeX-AMS_SVG&locale=en">
|
|---|
| 27 | </script>
|
|---|
| [13984] | 28 | <script type="text/javascript">
|
|---|
| 29 | <!-- necessary to re-typeset when the model is changed-->
|
|---|
| 30 | function refreshModel() {
|
|---|
| 31 | var model = document.getElementById("model");
|
|---|
| 32 | <!-- see https://docs.mathjax.org/en/v1.1-latest/typeset.html -->
|
|---|
| 33 | MathJax.Hub.Queue(["Typeset",MathJax.Hub,model]);
|
|---|
| 34 | }
|
|---|
| 35 | </script>
|
|---|
| [7446] | 36 | </head>
|
|---|
| 37 | <body id="body">
|
|---|
| [13933] | 38 | <noscript>
|
|---|
| 39 | <div style="color: #CC0000; text-align: center">
|
|---|
| 40 | <b>
|
|---|
| 41 | Warning: <a href="http://www.mathjax.org/">MathJax</a> requires JavaScript to process
|
|---|
| 42 | the mathematics on this page.<br />
|
|---|
| 43 | If your browser supports JavaScript, be sure it is enabled.
|
|---|
| 44 | </b>
|
|---|
| 45 | </div>
|
|---|
| 46 | <hr>
|
|---|
| 47 | </noscript>
|
|---|
| 48 | <p id="model">
|
|---|
| 49 | </p>
|
|---|
| [7446] | 50 | </body>
|
|---|
| 51 | </html>
|
|---|
