TeX:
\overline{\mathbb{Q}} = \left\{ z : z \in \mathbb{C} \,\mathbin{\operatorname{and}}\, \left(f(z) = 0 \;\text{ for some } f \in \mathbb{Z}[\text{x}_{1}] \setminus \left\{0\right\}\right) \right\}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| AlgebraicNumbers | Algebraic numbers | |
| CC | Complex numbers | |
| ZZ | Integers |
Source code for this entry:
Entry(ID("aa6b07"),
Formula(Equal(AlgebraicNumbers, Set(z, ForElement(z, CC), Parentheses(Exists(Equal(CallIndeterminate(f, XX(1), z), 0), ForElement(f, SetMinus(Polynomials(ZZ, XX(1)), Set(0)))))))))