Database
REAL AND COMPLEX NUMBERS
Words over a set
Splicing words (substring replacement)
csplice
Next ⟩
df-splice
Metamath Proof Explorer
Unicode
Structured
Syntax definition
csplice
Description:
Syntax for the word splicing operator.
Ref
Expression
Assertion
csplice
class splice