[mizar] iff implies

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

Hi,

the Mizar parser will currently refuse to parse formula

x = x iff x = x implies x = x ;
::>                   *336

saying that:
336: Associative notation must not be used for "iff" and "implies" .

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