From 7072de43741fa1ef20427ad9232c47ba26d65621 Mon Sep 17 00:00:00 2001
From: Andreas Stöckel <astoecke@techfak.uni-bielefeld.de>
Date: Wed, 1 Apr 2015 00:10:23 +0200
Subject: Add some test files for user defined syntax

---
 testdata/osmlparser/math_ranges.osml | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 testdata/osmlparser/math_ranges.osml

(limited to 'testdata/osmlparser/math_ranges.osml')

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}
-- 
cgit v1.2.3