[texhax] a question for logicians

[Lars Madsen]

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:

\therefore



/daleif