Formatting issues in updated specification of bounds declaration checking

[dtarditi]

We have multicharacter names for variables and functions in the updated specification of bounds declaration checking. LaTex formats them as though they are the product operator, resulting in funny spacing. We should use the \mathit{} LaTEx command to wrap the names, so that spacing is correct.

[lenary]

One way to do this, is to define commands like the following:

\def\UG\ensuremath{\mathit{UG}}

Then you can use \UG either in math mode, or out of math mode, and it will look the same. \ensuremath{...} opens an inline math environment, like $...$, if it is not currently in any kind of math environment.