View this file with results and syntax highlighting here.
Double Quote (")
"str": String
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"
2 ⊑ "ab""cd"