On Wed, Aug 22, 2012 at 10:49:37PM +0400, Serge D. Mechveliani wrote: > Please, > where is the definition for the \exists math symbol (type constructor?) ? > [..] Sorry, I see it now in module Data.Product ------ Sergei