TeX:
\gamma = -\int_{0}^{\infty} {e}^{-x} \log\!\left(x\right) \, dxDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ConstGamma | The constant gamma (0.577...) | |
| Exp | Exponential function | |
| Log | Natural logarithm | |
| Infinity | Positive infinity |
Source code for this entry:
Entry(ID("39fe5f"),
Formula(Equal(ConstGamma, Neg(Integral(Mul(Exp(Neg(x)), Log(x)), Tuple(x, 0, Infinity))))))