diff options
| author | Laurenz <laurmaedje@gmail.com> | 2022-11-29 13:37:25 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2022-11-29 14:18:13 +0100 |
| commit | 0efe669278a5e1c3f2985eba2f3360e91159c54a (patch) | |
| tree | 502712857c48f0decb5e698257c0a96d358a436e /tests/typ/math | |
| parent | 836692e73cff0356e409a9ba5b4887b86809d4ca (diff) | |
Reorganize library and tests
Diffstat (limited to 'tests/typ/math')
| -rw-r--r-- | tests/typ/math/simple.typ | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/tests/typ/math/simple.typ b/tests/typ/math/simple.typ new file mode 100644 index 00000000..55a853cf --- /dev/null +++ b/tests/typ/math/simple.typ @@ -0,0 +1,20 @@ +// Test math formulas. + +--- +The sum of $a$ and $b$ is $a + b$. + +--- +We will show that: +$ a^2 + b^2 = c^2 $ + +--- +Prove by induction: +$ sum_(k=0)^n k = (n(n+1))/2 $ + +--- +// Test that blackboard style looks nice. +$ f: NN arrow RR $ + +--- +// Error: 1:3 expected dollar sign +$a |