Represents the set of algebraic numbers.

Definitions:

Fungrim symbol | Notation | Short description |
---|---|---|

AlgebraicNumbers | $\overline{\mathbb{Q}}$ | Algebraic numbers |

Source code for this entry:

Entry(ID("be9c83"), SymbolDefinition(AlgebraicNumbers, AlgebraicNumbers, "Algebraic numbers"), Description("Represents the set of algebraic numbers."))