¨

10.2.8.3 Quoted Atoms

A quoted atom is any sequence of characters surrounded by single quotes. To insert a single quote character in a quoted atom use two adjacent single quote characters:

’’

The tilde character (~) is used within quoted atoms as an escape character. Tilde followed by a printable character in the range ’@’ to ’_’ is used to represent a control character. For example:
’~I’
represents ctrl-I.

The tilde character can also be followed by a three digit number representing the ASCII code of a character. This can be useful for inserting characters with an ASCII value greater than 127.red to as clauses. A fact consists