User-defined variables are denoted the same way as in SML, except that the apostrophe character is disallowed in their identifiers.
