[texhax] a question for logicians
daleif at imf.au.dk
Fri May 2 17:54:18 CEST 2008
Alexandre Almeida :
> 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.
More information about the texhax