TeX:
\mathop{\min}\limits_{x \in \mathbb{R}} \operatorname{sinc}(x) = \operatorname{sinc}\!\left(j_{\frac{3}{2}, 1}\right)Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Minimum | Minimum value of a set or function | |
| Sinc | Sinc function | |
| RR | Real numbers |
Source code for this entry:
Entry(ID("da7fb1"),
Formula(Equal(Minimum(Sinc(x), ForElement(x, RR)), Sinc(BesselJZero(Div(3, 2), 1)))))