TeX:
\int_{-\infty}^{\infty} \operatorname{sinc}(x) \, dx = \piDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Integral | Integral | |
| Sinc | Sinc function | |
| Infinity | Positive infinity | |
| Pi | The constant pi (3.14...) |
Source code for this entry:
Entry(ID("f0f0a6"),
Formula(Equal(Integral(Sinc(x), For(x, Neg(Infinity), Infinity)), Pi)))