[texhax] a question for logicians

Tom Schneider toms at ncifcrf.gov
Fri May 2 17:45:06 CEST 2008


> 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 article on Knuth was quite worthwhile reading, partially because of
the interesting links.  One of them was:


which gives


and a lot of other nice symbols all on one page!


  Dr. Thomas D. Schneider
  National Institutes of Health
  National Cancer Institute
  Center for Cancer Research Nanobiology Program
  Molecular Information Theory Group
  Frederick, Maryland  21702-1201
  toms at ncifcrf.gov
  permanent email: toms at alum.mit.edu

More information about the texhax mailing list