def get_used_characters(self):
return self.used_characters<EOL>
Get the set of characters that were used in the math
expression.  Used by backends that need to subset fonts so
they know which glyphs to include.