Rendering the different symbols in different colors might be enough, as long as those colors are used in the text defining the symbols. Used sparingly (i.e. onl

Rendering the different symbols in different colors might be enough, as long as those colors are used in the text defining the symbols. Used sparingly (i.e. only for the symbols that are relevant to the argument), it can greatly enhance readability. I feel like these annotations go slightly overboard; the entire equation/annotation construct is visually pleasing, but hard to parse.