summaryrefslogtreecommitdiff
path: root/testdata/integration/user_defined_syntax/math_various.in.osml
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/integration/user_defined_syntax/math_various.in.osml')
-rw-r--r--testdata/integration/user_defined_syntax/math_various.in.osml6
1 files changed, 3 insertions, 3 deletions
diff --git a/testdata/integration/user_defined_syntax/math_various.in.osml b/testdata/integration/user_defined_syntax/math_various.in.osml
index 1e8550d..a3e691d 100644
--- a/testdata/integration/user_defined_syntax/math_various.in.osml
+++ b/testdata/integration/user_defined_syntax/math_various.in.osml
@@ -1,7 +1,7 @@
\import[ontology]{./ontologies/math}
\begin{math}
- \sum_{i=5}^{10} \\
+ \sum_{i=5}^10 \\
\int_{\var{x} -> -1}^{\var{x} -> 1} \sqrt{x^{2} - 1} dx &= \frac{π}{2}\\
- \fun{f}{x, y} |-> \frac{x^{2}}{2} + y^{2}\\
- \var{a}^{2} + \var{b}^{2} &= \var{c}^{2}
+ \fun{f}{x, y} |-> \frac{x^{2}}{2} + y^2\\
+ $a^2 + \var{b}^2 &= $c^{2}
\end{math}