| [7446] | 1 | <!-- this file is derived from sample.html from the MathJax distribution -->
|
|---|
| 2 | <!-- Copyright (c) 2009-2011 Design Science, Inc. -->
|
|---|
| 3 | <!-- adapted by HEAL for HeuristicLab-->
|
|---|
| 4 | <!DOCTYPE html>
|
|---|
| 5 | <html>
|
|---|
| 6 | <head>
|
|---|
| 7 | <!-- title change by HEAL -->
|
|---|
| 8 | <title>Symbolic Expression Tree</title>
|
|---|
| 9 | <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
|
|---|
| 10 | <meta http-equiv="X-UA-Compatible" content="IE=EmulateIE7" />
|
|---|
| 11 | <script type="text/x-mathjax-config">
|
|---|
| 12 | MathJax.Hub.Config({
|
|---|
| 13 | extensions: ["tex2jax.js", "TeX/AMSmath.js", "TeX/AMSsymbols.js"],
|
|---|
| 14 | jax: ["input/TeX","output/HTML-CSS"],
|
|---|
| 15 | tex2jax: {inlineMath: [["$","$"],["\\(","\\)"]]},
|
|---|
| 16 | imageFont: null
|
|---|
| 17 | });
|
|---|
| 18 |
|
|---|
| 19 | </script>
|
|---|
| 20 | <script type="text/javascript" src="./MathJax.js"></script>
|
|---|
| 21 | <!-- begin changes by HEAL -->
|
|---|
| 22 | <script type="text/javascript">
|
|---|
| 23 | function refreshModel() {
|
|---|
| 24 | var model = document.getElementById("model");
|
|---|
| 25 | MathJax.Hub.Queue(["Typeset",MathJax.Hub,model]);
|
|---|
| 26 | }
|
|---|
| 27 | </script>
|
|---|
| 28 | <!-- end changes by HEAL -->
|
|---|
| 29 | <style>
|
|---|
| 30 | h1 {text-align:center}
|
|---|
| 31 | h2 {
|
|---|
| 32 | font-weight: bold;
|
|---|
| 33 | background-color: #DDDDDD;
|
|---|
| 34 | padding: .2em .5em;
|
|---|
| 35 | margin-top: 1.5em;
|
|---|
| 36 | border-top: 3px solid #666666;
|
|---|
| 37 | border-bottom: 2px solid #999999;
|
|---|
| 38 | }
|
|---|
| 39 | </style>
|
|---|
| 40 | </head>
|
|---|
| 41 | <body id="body">
|
|---|
| 42 | <noscript>
|
|---|
| 43 | <div style="color: #CC0000; text-align: center">
|
|---|
| 44 | <b>Warning: <a href="http://www.mathjax.org/">MathJax</a> requires JavaScript to process
|
|---|
| 45 | the mathematics on this page.<br />
|
|---|
| 46 | If your browser supports JavaScript, be sure it is enabled.</b>
|
|---|
| 47 | </div>
|
|---|
| 48 | <hr>
|
|---|
| 49 | </noscript>
|
|---|
| 50 | <p id="model">
|
|---|
| 51 | </p>
|
|---|
| 52 | </body>
|
|---|
| 53 | </html>
|
|---|
