Fungrim entry: fc0d55

\mathbb{T} = \left\{ z : z \in \mathbb{C} \,\mathbin{\operatorname{and}}\, \left|z\right| = 1 \right\}

TeX:

\mathbb{T} = \left\{ z : z \in \mathbb{C} \,\mathbin{\operatorname{and}}\, \left|z\right| = 1 \right\}

Definitions:

Fungrim symbol	Notation	Short description
`UnitCircle`	$\mathbb{T}$	Unit circle
`SetBuilder`	$\left\{ f\!\left(x\right) : P\!\left(x\right) \right\}$	Set comprehension
`CC`	$\mathbb{C}$	Complex numbers
`Abs`	$\left\|z\right\|$	Absolute value

Source code for this entry:

Entry(ID("fc0d55"),
    Formula(Equal(UnitCircle, SetBuilder(z, z, And(Element(z, CC), Equal(Abs(z), 1))))))

Topics using this entry

2019-06-18 07:49:59.356594 UTC