We now handle a few non digit characters (+, -, =, parentheses) for which there are superscripted unicode characters. Closes #3518.