Re: @Math package

[Ludovic Courtès]

Hello,

address@hidden (Jeff Kingston) writes:

> I use it all the time in cases like:
>
>     The transitivity of the address@hidden { non <= }' relation...

Right, good point.

>> [The "not" symbol has] the same definition as in `eq'.  What makes
>> you think it "won't work"?
>
> In @Eq it was applied to parameterless objects.  In @Math the
> equivalent definitions have left and right parameters.

OK.

BTW, that will make several noticeable differences compared to address@hidden'
from 3.36, most notably the `atop' renaming.  Thus it might be worth
documenting these changes at least in the release notes (sorry if I'm
just stating the obvious).

Thanks,
Ludo'.