Represents the set of algebraic numbers.
Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| AlgebraicNumbers | Algebraic numbers |
Source code for this entry:
Entry(ID("be9c83"),
SymbolDefinition(AlgebraicNumbers, AlgebraicNumbers, "Algebraic numbers"),
Description("Represents the set of algebraic numbers."))