| ||||||
Table data: (P,Q)
such that (P)⟹(Q)
Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| WeierstrassSigma | σ(z,τ) | Weierstrass sigma function |
| CC | C | Complex numbers |
| HH | H | Upper complex half-plane |
Source code for this entry:
Entry(ID("5f3210"),
SymbolDefinition(WeierstrassSigma, WeierstrassSigma(z, tau), "Weierstrass sigma function"),
Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(TableSection("Numbers"), Tuple(And(Element(z, CC), Element(tau, HH)), Element(WeierstrassSigma(z, tau), CC)))))