Fungrim home page

Fungrim entry: 4fd123

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

TeX:

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

Definitions:

Fungrim symbol	Notation	Short description
`ZZ`	$\mathbb{Z}$	Integers
`QQ`	$\mathbb{Q}$	Rational numbers
`RR`	$\mathbb{R}$	Real numbers
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("4fd123"),
    Formula(Subset(ZZ, QQ, RR, 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