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