On 2013-04-06 17:43, Serge D. Mechveliani wrote: > I define x \~~n y = \neg (x \~~ y) > for negation of equivalence > But may be Standard library has a similar definition > (similar as for \equiv) ? Not for the _≈_ fields in Algebra. -- /NAD