Fungrim entry: 2a52af

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 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