The Inefficiency of BPE Tokenizers on Symbolic Languages: An Empirical Study and a Simple Fix | Synapse