Definitions:

Fungrim symbol | Notation | Short description |
---|---|---|

ZZGreaterEqual | $\mathbb{Z}_{\ge n}$ | Integers greater than or equal to n |

Source code for this entry:

Entry(ID("03fbae"), SymbolDefinition(ZZGreaterEqual, ZZGreaterEqual(n), "Integers greater than or equal to n"))