Represents the set of real numbers.

Definitions:

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

RR | $\mathbb{R}$ | Real numbers |

Source code for this entry:

Entry(ID("bfe358"), SymbolDefinition(RR, RR, "Real numbers"), Description("Represents the set of real numbers."))