mplements the `<font color="#82140F"><code>&amp;</code></font>' syntax</h4>



When the parser encounters an unquoted `<font color="#82140F"><code>&amp;</code></font>' followed immediately by
the name of a variable or a synonym, it converts the whole token
(`<font color="#82140F"><code>&amp;</code></font>' plus name) into a specially-encoded string that can be
recognized inside newcommands.  (This is <b>only</b> done if the
`<font color="#82140F"><code>&amp;</code></font>' and the variable name are <b>not</