Fungrim entry: fdc94c

\operatorname{sinc}\!\left(\frac{\pi}{2}\right) = \frac{2}{\pi}

TeX:

\operatorname{sinc}\!\left(\frac{\pi}{2}\right) = \frac{2}{\pi}

Definitions:

Fungrim symbol	Notation	Short description
`Sinc`	$\operatorname{sinc}(z)$	Sinc function
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("fdc94c"),
    Formula(Equal(Sinc(Div(Pi, 2)), Div(2, Pi))))

Topics using this entry

2021-03-15 19:12:00.328586 UTC