characters from non-identifier characters. (standard_symbol_alphabet, hp_symbol_alphabet): New functions.