Fungrim symbol: PrimeNumber

Symbol: PrimeNumber —

p_{n}

— nth prime number

Domain	Codomain
$n \in \mathbb{Z}_{\ge 1}$	$p_{n} \in \mathbb{P}$

Table data:

\left(P, Q\right)

such that

\left(P\right) \;\implies\; \left(Q\right)

Definitions:

Fungrim symbol	Notation	Short description
`PrimeNumber`	$p_{n}$	nth prime number
`ZZGreaterEqual`	$\mathbb{Z}_{\ge n}$	Integers greater than or equal to n
`PP`	$\mathbb{P}$	Prime numbers

Source code for this entry:

Entry(ID("0b643d"),
    SymbolDefinition(PrimeNumber, PrimeNumber(n), "nth prime number"),
    Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(Tuple(Element(n, ZZGreaterEqual(1)), Element(PrimeNumber(n), PP)))))

Topics using this symbol

The symbol PrimeNumber appears in 5 topics:

Prime numbers (in 10 entries)
Greatest common divisor (in 2 entries)
Totient function (in 1 entries)
Integer sequences (in 1 entries)
Euler's constant (in 1 entries)

Entries using this symbol

The symbol PrimeNumber appears in 14 entries: