Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
Signum in an ordered monoid
csgns
Next ⟩
df-sgns
Metamath Proof Explorer
Ascii
Structured
Syntax definition
csgns
Description:
Extend class notation to include the Signum function.
Ref
Expression
Assertion
csgns
class
sgn
s