Abstract: In recent years, efforts have begun to put math contents on the Web. As for other types of Web information, search capabilities should be provided to enable users to find what they need ...

Mainly, better treatment of punctuation characters. There's now a dictionary of mappings for bracket characters, replacing the static lists of left and right parentheses. Connecting punctuation is ...