Represents the set of complex numbers with strictly positive imaginary part.
Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| HH | H | Upper complex half-plane |
Source code for this entry:
Entry(ID("a65a14"),
SymbolDefinition(HH, HH, "Upper complex half-plane"),
Description("Represents the set of complex numbers with strictly positive imaginary part."))