TeX:
\mathbb{C} = \left\{ x + y i : x \in \mathbb{R} \;\mathbin{\operatorname{and}}\; y \in \mathbb{R} \right\}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| CC | Complex numbers | |
| ConstI | Imaginary unit | |
| RR | Real numbers |
Source code for this entry:
Entry(ID("77ef0c"),
Formula(Equal(CC, Set(Add(x, Mul(y, ConstI)), For(Tuple(x, y)), And(Element(x, RR), Element(y, RR))))))