Ø | negation |
Ù | konjunktion |
Ú | disjunktion |
® | implikation |
« | ekvivalens |
º | indentitet |
$ | existenskvantor |
" | universalkvantor |
x, y, z,…, x1, x2,... | variabler |
a, b, c,..., c1, c2... | konstanter |
p, p1, p2,... | predikatsymboler |
( ) | parenteser |
, | komma |