Mathematical Notation

Sets

Set: {x:P(x)}{ x : P(x) }

Where xx is an element and P(x)P(x) is a condition on xx.

Given That (Rule or Pattern or Condition): "::" or "|"

Subsets: \subseteq

Strict Subset: \subset

Element: \in

Common Sets

Empty Set: \emptyset

Natural Numbers: N\mathbb{N}

Integers: Z\mathbb{Z}

Rational Numbers: Q\mathbb{Q}

Real Numbers: R\mathbb{R}

Set Operations

Union: \cup

Intersection: \cap

Cartesian-Product: ×\times

Set Equality:

A=B    AB and BAA = B \iff A \subseteq B \text{ and } B \subseteq A

General

Such That: "s.t."

There Exists: \exists

For All: \forall

Logic

Proposition: "p" - A statement that is either True or False

Implies: \Rightarrow

If and Only if / Equivalent:     \iff