This symbol may be rendered differently when n
is a concrete value, for example: {−3,−4,…}
Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ZZLessEqual | Z≤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)))