sinc(6π)=π3
 TeX:
\operatorname{sinc}\!\left(\frac{\pi}{6}\right) = \frac{3}{\pi}Definitions:
| Fungrim symbol |  Notation |  Short description | 
|---|
| Sinc | sinc(z)
 | Sinc function | 
| Pi | π
 | The constant pi (3.14...) | 
Source code for this entry:
Entry(ID("45740a"),
    Formula(Equal(Sinc(Div(Pi, 6)), Div(3, Pi))))