sym­bo­li	kir­joi­ta
+	+
−	-
3y	3y
y ⋅ 3	y*3
(3 + 4)(x + 5)	(3+4)(x+5)
x + 1 y + 6	(x+1)/(y+6)
2 3 4	2 3/4
|x + 1|	|x+1|
x2n	x^(2n)
√x + 1	sqrt x+1
n√x + 1	root(n)(x+1)

Osa ei toi­mi kai­kis­sa ti­lan­teis­sa.
Mui­ta­kin on: ln, log2, sin, div jne.

sym­bo­li	kir­joi­ta
<	<
≤	<=
=	=
≠	!=
≥	>=
>	>

sym­bo­li	kir­joi­ta	huo­mau­tus
∧	/\	ja; myös and kel­paa
∨	\/	tai; myös or kel­paa
¬	!	ei; myös not kel­paa
F	FF	epä­to­si
T	TT	to­si
U	UU	mää­rit­te­le­mä­tön
→	-->	pro­po­si­tio­naa­li­nen imp­li­kaa­tio
↔	<->	pro­po­si­tio­naa­li­nen ek­vi­va­lens­si
&&	&&	oi­ko­sul­ku-ja
||	||	oi­ko­sul­ku-tai

sym­bo­li	kir­joi­ta	huo­mau­tus
⇒	==>
⇐	<==
⇔	<=>	sa­mais­taa U ja F
≡	===	ei sa­mais­ta U ja F

Ali­päät­te­ly aloi­te­taan subproof ja lo­pe­te­taan subend. (Ali)päät­te­lyn en­sim­mäi­seen kaa­vaan voi­daan vii­ta­ta sa­nal­la original. Ali­päät­te­lyn alus­sa ole­va original viit­taa edel­li­sen ta­son en­sim­mäi­seen kaa­vaan. (Ali)päät­te­ly voi­daan ra­joit­taa jon­kin ole­tuk­sen täyt­tä­viin ta­pauk­siin kir­joit­ta­mal­la sen eteen assume kaa­va ;.

sym­bo­li	kir­joi­ta
∀ x:	AA x:
∀ x; 0 ≤ x < y:	AA x; 0 <= x < y:
∃ x:	EE x:
∃ x; x + 2 ≠ z:	EE x; x+2 != z:

(sym­bo­lien ; ja : vä­li­sen osuu­den syn­tak­si on ra­joi­tet­tu)