Database
REAL AND COMPLEX NUMBERS
Words over a set
Concatenations of words
cconcat
Next ⟩
df-concat
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cconcat
Description:
Syntax for the concatenation operator.
Ref
Expression
Assertion
cconcat
class ++