Unicode symbols should match or be converted to their TeX equivalent

[kpeeters]

At the moment a μ will not match \mu. As the display routines already turn the latter into the former when necessary, it is probably best to auto-convert all unicode symbols with a TeX equivalent to their TeX equivalents on input.