Coloring elements of notation

Individual objects may be assigned colors. Several pre-defined colors are available; they are exhaustively listed in the Notation Reference.