diff options
author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-04-12 19:05:00 +0200 |
---|---|---|
committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2016-04-25 22:24:16 +0200 |
commit | 8eae06ba8ccd100d459ec9777759b93b45c1dce1 (patch) | |
tree | 311af024712d68f917633d1c162ee96762d6339d | |
parent | 1576aca29b8797fe731246a5a371dba3d46cc3a3 (diff) |
Mix in some non-greedy behaviour tests
-rw-r--r-- | testdata/integration/user_defined_syntax/math_various.in.osml | 6 |
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} |