From 33928a00dc58250e24da1dae4e5db17e7b598d70 Mon Sep 17 00:00:00 2001
From: Laurenz <laurmaedje@gmail.com>
Date: Thu, 3 Nov 2022 16:50:26 +0100
Subject: Tidy up library

---
 tests/typ/layout/math.typ | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 tests/typ/layout/math.typ

(limited to 'tests/typ/layout/math.typ')

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