Fungrim home page

Fungrim entry: bfe358

Symbol: RR R\mathbb{R} Real numbers
Represents the set of real numbers.
Fungrim symbol Notation Short description
RRR\mathbb{R} Real numbers
Source code for this entry:
    SymbolDefinition(RR, RR, "Real numbers"),
    Description("Represents the set of real numbers."))

Topics using this entry

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