Fungrim home page

Fungrim entry: e5a04c

\mathbb{Z} \subset \mathbb{Q} \subset \overline{\mathbb{Q}} \subset \mathbb{C}

TeX:

\mathbb{Z} \subset \mathbb{Q} \subset \overline{\mathbb{Q}} \subset \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`ZZ`	$\mathbb{Z}$	Integers
`QQ`	$\mathbb{Q}$	Rational numbers
`AlgebraicNumbers`	$\overline{\mathbb{Q}}$	Algebraic numbers
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("e5a04c"),
    Formula(Subset(ZZ, QQ, AlgebraicNumbers, CC)))

Topics using this entry

Numbers and infinities

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