Fungrim home page

Fungrim entry: fc0d55

T={z:zCandz=1}\mathbb{T} = \left\{ z : z \in \mathbb{C} \,\mathbin{\operatorname{and}}\, \left|z\right| = 1 \right\}
\mathbb{T} = \left\{ z : z \in \mathbb{C} \,\mathbin{\operatorname{and}}\, \left|z\right| = 1 \right\}
Fungrim symbol Notation Short description
UnitCircleT\mathbb{T} Unit circle
CCC\mathbb{C} Complex numbers
Absz\left|z\right| Absolute value
Source code for this entry:
    Formula(Equal(UnitCircle, Set(z, ForElement(z, CC), Equal(Abs(z), 1)))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC