Before anyone slates me for this, I have checked detexify and
texdoc symbols. Indeed, the latter led me to the following phrase (3rd paragraph of Section 3):
Although there have been many requests on
comp.text.texfor a contradiction symbol, the ensuing discussion invariably reveals innummerable ways to represent contradiction in a proof ... Because of the lack of notational consensus, it is probably better to spell out "Contradiction!" than to use a symbol for this purpose.
Normally, I'd agree with this sage advice. Two things prevent me from doing so:
In a presentation, brevity is the soul of comprehension.
That is to say, it is better still to have a funny symbol and to say "Thus we have a contradiction" than to have the long word "Contradiction!" and still say "Thus we have a contradiction".
The ellipsis in the above quote lists various symbols that the discussion on
comp.text.texpresumably discussed. None of them is correct. The correct contradiction symbol is (something like):
\ \/ / \/\/ /\/\ / /\ \
That is, four diagonal lines, two in each direction. It should also be a bit larger than a "regular" symbol, perhaps more like a
So, my question: is there a font with this symbol?