Re: Minor issue with \implies

[Juergen Spitzmueller]

Paul A. Rubin wrote:

> Done (#4561).

I just committed a fix to both trees, since the fix was so obvious.

Jürgen