Escape character in TEXT

Sometimes you want to put a special character like a double quote (") in a TEXT value. This causes problems because the double quote (") indicates the beginning or end of a TEXT value. These special characters can be escaped with a slash (/).

Examples

Escaping the double quote ("):

TEXT example := "This is /"only/" an example"

Stored is: This is "only" an example.

Consequently, the slash character has become a meaningful character in ITP and has to be escaped as well as we want to store its value in a literal.

Escaping the slash (/):

TEXT example := "mr//mrs"

Stored is: mr/mrs.