Am 14.10.2010 17:27, schrieb Christian Maeder: >> 2. notMember looks unnecessary, because one can write >> not . Map.member k. > > That's the same for elem and notElem. One motivation was to ease LaTeX creation by replacing `notElem` with \notin. > > Cheers Christian > >> >> Regards, >> ----------------- >> Serge Mechveliani >> mechvel at botik.ru