|
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)))))