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 | $\gamma$ | 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."))