Fungrim entry: a2df77

\mathop{\operatorname{zeros}\,}\limits_{z \in \mathbb{C}} \operatorname{Ai}'\!\left(z\right) \subset \mathbb{R}

TeX:

\mathop{\operatorname{zeros}\,}\limits_{z \in \mathbb{C}} \operatorname{Ai}'\!\left(z\right) \subset \mathbb{R}

Definitions:

Fungrim symbol	Notation	Short description
`Zeros`	$\mathop{\operatorname{zeros}\,}\limits_{x \in S} f(x)$	Zeros (roots) of function
`AiryAi`	$\operatorname{Ai}\!\left(z\right)$	Airy function of the first kind
`CC`	$\mathbb{C}$	Complex numbers
`RR`	$\mathbb{R}$	Real numbers

Source code for this entry:

Entry(ID("a2df77"),
    Formula(Subset(Zeros(AiryAi(z, 1), ForElement(z, CC)), RR)))

Topics using this entry

2021-03-15 19:12:00.328586 UTC