Math Demo

Temml renders $…$ and $$…$$ to native MathML. The samples below are the notation the discrete-math labs use.

Logic connectives

A proposition is a statement that is definitely true or false — a bool. We name them $p$ and $q$ and combine them with four connectives:

\forall x \in S, P (x) \exists x \in S, P (x)

Read $\forall$ as .every() and $\exists$ as .some(). The usual domains are $ℕ$ , $ℤ$ , and $ℝ$ .

The even integers, written with set-builder braces that markdown must not eat:

${n \in ℤ | n mod 2 = 0}$

\neg \forall x P (x) \equiv \exists x \neg P (x)

A short derivation:

\begin{matrix} \neg (p \land q) & \equiv \neg p \lor \neg q \\ \neg (p \lor q) & \equiv \neg p \land \neg q \end{matrix}

\int_{0}^{\infty} \frac{x^{2}}{e^{x}} d x

TeX source in inline code stays literal: \forall, \exists, \in.

A fenced example must not be rendered as math:

\forall x \in S,\; P(x)
$5 is not math either

Currency prose is not math: tickets cost $5 and $10.