TeX:
\zeta\!\left(2, \frac{1}{2}\right) = \frac{{\pi}^{2}}{2}Definitions:
| Fungrim symbol | Notation | Short description | 
|---|---|---|
| HurwitzZeta | Hurwitz zeta function | |
| Pow | Power | |
| Pi | The constant pi (3.14...) | 
Source code for this entry:
Entry(ID("868061"),
    Formula(Equal(HurwitzZeta(2, Div(1, 2)), Div(Pow(Pi, 2), 2))))