On Apr 8, 6:47 am, Arnaud Delobelle <arno... at googlemail.com> wrote: [...] > Although I would use ∀ and ∃ as aliases for all() > and exists() :) I mean all() and any() of course -- Arnaud