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."))