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 ...

Unicode is the standard encoding for text. There are thousands of glyphs, representing letters, characters, symbols and marks from a huge variety of scripts and contexts. There are many repeated, ...

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 ...