Character Tables and Tokenizer for Mathics and the Wolfram Language
