tests/typ/math/basic.typ


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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