Fungrim home page

Fungrim entry: fc0d55

T={z:z∈C and⁡ ∣z∣=1}\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
UnitCircleT\mathbb{T} Unit circle
CCC\mathbb{C} Complex numbers
Abs∣z∣\left|z\right| Absolute value
Source code for this entry:
Entry(ID("fc0d55"),
    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