TeX:
\mathbb{T} = \left\{ {e}^{i \theta} : \theta \in \left[0, 2 \pi\right) \right\}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| UnitCircle | Unit circle | |
| Exp | Exponential function | |
| ConstI | Imaginary unit | |
| ClosedOpenInterval | Closed-open interval | |
| Pi | The constant pi (3.14...) |
Source code for this entry:
Entry(ID("912ff9"),
Formula(Equal(UnitCircle, Set(Exp(Mul(ConstI, theta)), ForElement(theta, ClosedOpenInterval(0, Mul(2, Pi)))))))