TeX:
\operatorname{sinc}(z) \text{ is holomorphic on } z \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| IsHolomorphic | Holomorphic predicate | |
| Sinc | Sinc function | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("a527c4"),
Formula(IsHolomorphic(Sinc(z), ForElement(z, CC))))