math.unicode: implement unicode math symbols.