Maths for ML / Notation

\Rightarrow,\ \iff

implies / if and only if

LogicBeginner

Say it “implies / if and only if”

⇒: if the left is true, the right is true. ⇔ (iff): both directions hold.

Example

x>2 \Rightarrow x>1

Where you’ll see it in ML

Proofs and derivations in papers.

Don’t confuse it with

$f: \mathbb{R}^{n} \to \mathbb{R}$ function arrow (type) Says what kind of input a function takes and what kind of output it gives — its type signature.

← All 94 symbols