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>
|
---|