Re: [mizar] iff implies

[Markus Moschner <moschm@ags.uni-sb.de>]

Josef Urban <urban@ktilinux.ms.mff.cuni.cz> wrote:

> It seems to me, that it is a common view, that "implies" binds stronger 
> than "iff", so this should be parsable as
> 
> x = x iff (x = x implies x = x) ;
> 
> Any reasons against doing it?
> 
> Josef Urban

The 'documentation' (from Bonarska and/or Muzalewski) just gives a reader
such an idea --- "implies" binds stronger than "iff".
Thus Mizar should stay  downwards-compatible to maybe outdated 
but the only documentations.

P.S.: And this is binding priorities are the common convention 
      in every day maths and logic.


          With best regards,
                Markus Moschner