diff options
| author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-04-01 00:10:23 +0200 |
|---|---|---|
| committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2016-04-25 22:19:28 +0200 |
| commit | 7072de43741fa1ef20427ad9232c47ba26d65621 (patch) | |
| tree | 4efd1a78821a0000c4c4d324692bf199aa4cb141 /testdata/osmlparser/math_ranges.osml | |
| parent | e921e0965257e69221e67070d7eadd8a2aeaae76 (diff) | |
Add some test files for user defined syntax
Diffstat (limited to 'testdata/osmlparser/math_ranges.osml')
| -rw-r--r-- | testdata/osmlparser/math_ranges.osml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/testdata/osmlparser/math_ranges.osml b/testdata/osmlparser/math_ranges.osml new file mode 100644 index 0000000..a6ac4dd --- /dev/null +++ b/testdata/osmlparser/math_ranges.osml @@ -0,0 +1,6 @@ +\import[ontology]{./math} +\begin{math} + \sum^{10}_{i=5} \\ + \int^{\var{x} -> 1}_{\var{x} -> -1} \sqrt{x^{2} - 1} dx &= \frac{π}{2}\\ + \fun{f}{x, y} |-> \frac{x^{2}}{2} + y^{2} +\end{math} |