This formal symbol represents a quantity with infinite magnitude and undefined sign.
It is typically used to represent the value of meromorphic functions at poles.
The set C∪{∞~}
represents the complex Riemann sphere.
Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| UnsignedInfinity | ∞~ | Unsigned infinity |
| CC | C | Complex numbers |
Source code for this entry:
Entry(ID("486ab2"),
SymbolDefinition(UnsignedInfinity, UnsignedInfinity, "Unsigned infinity"),
Description("This formal symbol represents a quantity with infinite magnitude and undefined sign."),
Description("It is typically used to represent the value of meromorphic functions at poles."),
Description("The set", Union(CC, Set(UnsignedInfinity)), "represents the complex Riemann sphere."))