>> But it is not unnoticeable in case of unary minus. >> Groff eqn treats >> a~=~-b >> as if it were binary, and inserts extra space between >> the - and b. > > It does work with the following patch--for the mentioned cases. > In case of a=c~-b then there is only space before the '-', > so either c-b or c~-~b must be used then.
Good sleuthing. I'd say the fix is robust if the example of a=c~-b is the worst anomaly left--I can't guess what anyone writing that really might want. I hope the fix is adopted. Doug