From 020294fca9a7065d4b9cf4e677f606ebaaa29b00 Mon Sep 17 00:00:00 2001 From: Laurenz Date: Sat, 13 Apr 2024 10:39:45 +0200 Subject: Better test runner (#3922) --- tests/typ/math/syntax.typ | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 tests/typ/math/syntax.typ (limited to 'tests/typ/math/syntax.typ') diff --git a/tests/typ/math/syntax.typ b/tests/typ/math/syntax.typ deleted file mode 100644 index 503d3031..00000000 --- a/tests/typ/math/syntax.typ +++ /dev/null @@ -1,22 +0,0 @@ -// Test math syntax. - ---- -// Test Unicode math. -$ ∑_(i=0)^ℕ a ∘ b = \u{2211}_(i=0)^NN a compose b $ - ---- -// Test a few shorthands. -$ underline(f' : NN -> RR) \ - n |-> cases( - [|1|] &"if" n >>> 10, - 2 * 3 &"if" n != 5, - 1 - 0 thick &..., - ) $ - ---- -// Test common symbols. -$ dot \ dots \ ast \ tilde \ star $ - ---- -// Error: 1-2 unclosed delimiter -$a -- cgit v1.2.3