The real number giving the base of the natural logarithm, also known as Euler's number.
Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ConstE | e | The constant e (2.718...) |
Source code for this entry:
Entry(ID("f758c6"),
SymbolDefinition(ConstE, ConstE, "The constant e (2.718...)"),
Description("The real number giving the base of the natural logarithm, also known as Euler's number."))