Logical symbols
⇒
Implies
→
Implies
⊃
Implies
⇔
Xnor
↔
Xnor
≡
Xnor
¬
Not
~
Not
!
Not
∧
And
•
And
&
And
∨
Or
+
Or
∣∣
Or
⊕
Xor
⊻
Xor
↮
Xor
≢
Xor
⊤
True
T
True
1
True
⊥
False
F
False
0
False
∀
For all
()
For all
∃
There exists
𝔻
Domain of discourse
⊢
Proves
∴
Therefore
∵
Because
:=
Is defined as
≝
Is defined as
≜
Is defined as
⊼
Nand
⊽
Nor
⊙
Xnor
⟛
Proves and is proven by
⊩
Forces
⟡
Never
⟢
Was never
⟣
Will never be
⟤
Was always
⟥
Will always be
↓
Nor
↑
Nand
∣
Nand
□
It's necessary that
¬∃
There doesn't exist
∄
There doesn't exist
◇
It's possible that
⊬
Doesn't prove
∃!
There exists exactly one