From 3965e10281ea3c8754a1877c9f7e71c1930bf4c3 Mon Sep 17 00:00:00 2001
From: Laurenz <laurmaedje@gmail.com>
Date: Wed, 18 May 2022 19:09:19 +0200
Subject: Hack in ReX for now

---
 tests/typ/math/basic.typ | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'tests/typ/math')

diff --git a/tests/typ/math/basic.typ b/tests/typ/math/basic.typ
index cad01d10..33246261 100644
--- a/tests/typ/math/basic.typ
+++ b/tests/typ/math/basic.typ
@@ -7,6 +7,14 @@ 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 = \frac{n(n+1)}{2} ]$
+
+---
+// Error: 1-10 expected '}' found EOF
+$\sqrt{x$
+
 ---
 // Error: 2:1 expected closing bracket and dollar sign
 $[a
-- 
cgit v1.2.3