TeX:
\psi\!\left(\frac{1}{2}\right) = -2 \log(2) - \gammaDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| DigammaFunction | Digamma function | |
| Log | Natural logarithm | |
| ConstGamma | The constant gamma (0.577...) |
Source code for this entry:
Entry(ID("89bed3"),
Formula(Equal(DigammaFunction(Div(1, 2)), Sub(Neg(Mul(2, Log(2))), ConstGamma))))