TeX:
\mathbb{P} = \left\{ p_{n} : n \in \mathbb{Z}_{\ge 1} \right\}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| PP | Prime numbers | |
| PrimeNumber | nth prime number | |
| ZZGreaterEqual | Integers greater than or equal to n |
Source code for this entry:
Entry(ID("3fc797"),
Formula(Equal(PP, Set(PrimeNumber(n), ForElement(n, ZZGreaterEqual(1))))))