Formatting issues in updated specification of bounds declaration checking

[secure-sw-dev-bot]

This issue was copied from microsoft/checkedc#343

---

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.

[secure-sw-dev-bot]

Comment from @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.