TeX:
\mathbb{H} = \left\{ \tau : \tau \in \mathbb{C} \,\mathbin{\operatorname{and}}\, \operatorname{Im}(\tau) > 0 \right\}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| HH | Upper complex half-plane | |
| CC | Complex numbers | |
| Im | Imaginary part |
Source code for this entry:
Entry(ID("d7962e"),
Formula(Equal(HH, Set(tau, ForElement(tau, CC), Greater(Im(tau), 0)))))