Double Quote (")

"str": String

→full documentation

Literal notation for a string, or list of characters. Double quotes must be escaped by writing them twice. Any other characters can be included directly.

    2 ⊑ "string"
'r'

    2 ⊑ "ab""cd"
'"'