summaryrefslogtreecommitdiff
path: root/tests/typ/math/basic.typ
blob: a1a9d32fda95fc3be92d7fb3431d7c6c3af54606 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
// 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 $

---
#set math(family: "IBM Plex Sans")

// Error: 1-4 font is not suitable for math
$a$

---
// Error: 1:3 expected dollar sign
$a