The real number giving the limiting difference between the harmonic series and the natural logarithm, also known as Euler's constant or the Euler-Mascheroni constant.
Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ConstGamma | The constant gamma (0.577...) |
Source code for this entry:
Entry(ID("39e0cb"),
SymbolDefinition(ConstGamma, ConstGamma, "The constant gamma (0.577...)"),
Description("The real number giving the limiting difference between the harmonic series and the natural logarithm, also known as Euler's constant or the Euler-Mascheroni constant."))