|
@@ -3,7 +3,7 @@
|
|
|
<head>
|
|
<head>
|
|
|
<meta http-equiv="content-type" content="text/html; charset=utf-8">
|
|
<meta http-equiv="content-type" content="text/html; charset=utf-8">
|
|
|
<title>Mathematical term rewriting frontend</title>
|
|
<title>Mathematical term rewriting frontend</title>
|
|
|
- <script type="text/javascript" src="../../../external/mathjax/unpacked/MathJax.js?config=trs"></script>
|
|
|
|
|
|
|
+ <script type="text/javascript" src="../../../external/mathjax/unpacked/MathJax.js?config=TeX-AMS-MML_HTMLorMML-full"></script>
|
|
|
</head>
|
|
</head>
|
|
|
<body>
|
|
<body>
|
|
|
|
|
|
Sander Mathijs van Veen