Fungrim symbol: ZZLessEqual

Symbol: ZZLessEqual —

\mathbb{Z}_{\le n}

— Integers less than or equal to n

This symbol may be rendered differently when

n

is a concrete value, for example:

\{-3, -4, \ldots\}

Definitions:

Fungrim symbol	Notation	Short description
`ZZLessEqual`	$\mathbb{Z}_{\le n}$	Integers less than or equal to n

Source code for this entry:

Entry(ID("2a52af"),
    SymbolDefinition(ZZLessEqual, ZZLessEqual(n), "Integers less than or equal to n"),
    Description("This symbol may be rendered differently when", n, "is a concrete value, for example: ", ZZLessEqual(-3)))

Topics using this symbol

The symbol ZZLessEqual appears in 16 topics:

Digamma function (in 33 entries)
Hurwitz zeta function (in 25 entries)
Coulomb wave functions (in 24 entries)
Gamma function (in 17 entries)
Beta function (in 13 entries)
Barnes G-function (in 12 entries)
Gauss hypergeometric function (in 10 entries)
Stieltjes constants (in 5 entries)
Confluent hypergeometric functions (in 5 entries)
Modular j-invariant (in 2 entries)
Factorials and binomial coefficients (in 2 entries)
Riemann zeta function (in 1 entries)
Powers (in 1 entries)
Numbers and infinities (in 1 entries)
Hypergeometric representations of Bessel functions (in 1 entries)
Bounds and inequalities for the gamma function (in 1 entries)

Entries using this symbol

The symbol ZZLessEqual appears in 147 entries: