diff options
Diffstat (limited to 'testdata/integration/user_defined_syntax/math_various.in.osml')
| -rw-r--r-- | testdata/integration/user_defined_syntax/math_various.in.osml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testdata/integration/user_defined_syntax/math_various.in.osml b/testdata/integration/user_defined_syntax/math_various.in.osml new file mode 100644 index 0000000..c003688 --- /dev/null +++ b/testdata/integration/user_defined_syntax/math_various.in.osml @@ -0,0 +1,7 @@ +\import[ontology]{./math} +\begin{math} + \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} +\end{math} |