Character Strings

A character string is a sequence of zero or more characters prefixed and terminated by the string bracket character.

In order to represent arbitrary strings of characters, any included string bracket character must be written twice. Concatenation must be used to represent strings longer than one line.