Tokens
Token Logic
& AND
| OR
^ XOR
! NOT
1 TRUE
0 FALSE
> IMPLY
= XNOR
( ) sub-logic
↵ new logic
Maths symbol Use instead
Λ &
V |
~ !
T 1
F 0
p→q p>q
p⇔q p=q