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.