public static SymbolAtom GetAtom(string name, char tag = '\0')
 {
     return(SymbolAtom.Get(TEXPreference.main.GetChar(name), tag));
 }