|
Table data: (P,Q)
such that (P)⟹(Q)
References:
- https://www.maplesoft.com/support/help/maple/view.aspx?path=csgn
Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Csgn | csgn(z) | Real-valued sign function for complex numbers |
| CC | C | Complex numbers |
Source code for this entry:
Entry(ID("ce8ee4"),
SymbolDefinition(Csgn, Csgn(z), "Real-valued sign function for complex numbers"),
Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(Tuple(Element(z, CC), Element(Csgn(z), Set(-1, 0, 1))))),
References("https://www.maplesoft.com/support/help/maple/view.aspx?path=csgn"))