Logical symbols

⇒

Implies

→

Implies

implies

⊃

Implies

implies

⇔

Xnor

↔

Xnor

≡

Xnor

¬

Not

~

Not

!

Not

∧

And

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