Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Alternate ordered pairs
caltop
Next ⟩
caltxp
Metamath Proof Explorer
Unicode
Structured
Syntax definition
caltop
Description:
Declare the syntax for an alternate ordered pair.
Ref
Expression
Assertion
caltop
class << A , B >>