Fungrim home page

Numbers and infinities

Table of contents: Numbers - Algebraic numbers - Infinities - Ranges and intervals

Numbers

298e9e
Symbol: ZZ Z\mathbb{Z} Integers
7be5dc
Symbol: QQ Q\mathbb{Q} Rational numbers
bfe358
Symbol: RR R\mathbb{R} Real numbers
0deea6
Symbol: CC C\mathbb{C} Complex numbers
851121
Symbol: ConstI ii Imaginary unit
c01d22
Q={pq:pZandqZ{0}}\mathbb{Q} = \left\{ \frac{p}{q} : p \in \mathbb{Z} \,\mathbin{\operatorname{and}}\, q \in \mathbb{Z} \setminus \left\{0\right\} \right\}
3e1c20
i2=1{i}^{2} = -1
77ef0c
C={x+yi:xRandyR}\mathbb{C} = \left\{ x + y i : x \in \mathbb{R} \,\mathbin{\operatorname{and}}\, y \in \mathbb{R} \right\}
4fd123
ZQRC\mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}

Algebraic numbers

be9c83
Symbol: AlgebraicNumbers Q\overline{\mathbb{Q}} Algebraic numbers
e5a04c
ZQQC\mathbb{Z} \subset \mathbb{Q} \subset \overline{\mathbb{Q}} \subset \mathbb{C}

Infinities

b738b1
Symbol: Infinity \infty Positive infinity
486ab2
Symbol: UnsignedInfinity ~{\tilde \infty} Unsigned infinity

Ranges and intervals

03fbae
Symbol: ZZGreaterEqual Zn\mathbb{Z}_{\ge n} Integers greater than or equal to n
2a52af
Symbol: ZZLessEqual Zn\mathbb{Z}_{\le n} Integers less than or equal to n
00b82b
Symbol: ZZBetween {a,a+1,b}\{a, a + 1, \ldots b\} Integers between a and b inclusive
12d5ab
Symbol: ClosedInterval [a,b]\left[a, b\right] Closed interval
3fe68f
Symbol: OpenInterval (a,b)\left(a, b\right) Open interval
b2162a
Symbol: ClosedOpenInterval [a,b)\left[a, b\right) Closed-open interval
ed302a
Symbol: OpenClosedInterval (a,b]\left(a, b\right] Open-closed interval

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-07-15 23:42:41.550119 UTC