cadabra2
cadabra2 copied to clipboard
Unicode symbols should match or be converted to their TeX equivalent
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.