Database
REAL AND COMPLEX NUMBERS
Words over a set
Singleton words
cs1
Next ⟩
df-s1
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cs1
Description:
Syntax for the singleton word constructor.
Ref
Expression
Assertion
cs1
class
〈“
𝐴
”〉