[texhax] a question for logicians

Lars Madsen daleif at imf.au.dk
Fri May 2 17:54:18 CEST 2008

Alexandre Almeida :

> Hi!
> There is a symbol that I don't know how to write it in Tex/laTex .I saw lots os documents, websites, and none of them show this symbol.
> It is a triangle made of 3 points, instead of lines. In a logic expression, it is used to give us the result.
> For exemplo if \exists ... therefore ...
> How can I write this symbol?

the comprehensive symbols list on CTAN is your best friend.

from amssymb:



More information about the texhax mailing list