Database
REAL AND COMPLEX NUMBERS
Words over a set
Definitions and basic theorems
cword
Next ⟩
df-word
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cword
Description:
Syntax for the Word operator.
Ref
Expression
Assertion
cword
class Word S