Hi all, I just inserted a \propto to find that it is displayed in LyX as a Greek mu, but correctly in the LaTeX output.
I have missing fonts because the relations aren't displayed at all (such as \gtrsim), but this is the first time I saw one show up as the wrong thing. So maybe it's a genuine bug. Have fun, Darren