Bugfix, > to Rightarrow conversion done during latex escaping, not before.