Fungrim entry: d7962e

\mathbb{H} = \left\{ \tau : \tau \in \mathbb{C} \,\mathbin{\operatorname{and}}\, \operatorname{Im}\!\left(\tau\right) \gt 0 \right\}

TeX:

\mathbb{H} = \left\{ \tau : \tau \in \mathbb{C} \,\mathbin{\operatorname{and}}\, \operatorname{Im}\!\left(\tau\right) \gt 0 \right\}

Definitions:

Fungrim symbol	Notation	Short description
`HH`	$\mathbb{H}$	Upper complex half-plane
`SetBuilder`	$\left\{ f\!\left(x\right) : P\!\left(x\right) \right\}$	Set comprehension
`CC`	$\mathbb{C}$	Complex numbers
`Im`	$\operatorname{Im}\!\left(z\right)$	Imaginary part

Source code for this entry:

Entry(ID("d7962e"),
    Formula(Equal(HH, SetBuilder(tau, tau, And(Element(tau, CC), Greater(Im(tau), 0))))))

Topics using this entry

2019-06-18 07:49:59.356594 UTC