Database
REAL AND COMPLEX NUMBERS
Words over a set
Last symbol of a word
clsw
Next ⟩
df-lsw
Metamath Proof Explorer
Unicode
Structured
Syntax definition
clsw
Description:
Extend class notation with the Last Symbol of a word.
Ref
Expression
Assertion
clsw
class lastS