atomForCharacter function
The atom class for a literal character typed in math mode.
Implementation
AtomType atomForCharacter(String char) {
final literal = literalAtoms[char];
if (literal != null) return literal;
final table = _unicodeAtoms ??= _buildUnicodeAtoms();
final known = table[char];
if (known != null) return known;
return AtomType.ord;
}