Tidy up library

1 files changed, 20 insertions, 0 deletions

diff --git a/tests/typ/layout/math.typ b/tests/typ/layout/math.typ
new file mode 100644
index 00000000..55a853cf
--- /dev/null
+++ b/tests/typ/layout/math.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