///

/// a string /// -- a string.

This method for entering a string involves no escape characters, so it can be used for easily inserting large chunks of text into a string without treating the characters \ and " specially.

i1 : /// \ " ///

o1 =  \ " 

o1 : String
i2 : ascii oo

o2 = {32, 92, 32, 34, 32}

o2 : List

See also String.

topindexpreviousupnext