eightbitraptor[wiki]
Mathematical Notation
Set builder
{}
 A set literal

 such that
∀
 For all
N
 The magnitude of N
∈
 is an element of
∃
 There exists
Logical operators
∨
 logical OR.