Are There Any Symbols for Contradictions? Perhaps, this question has been answered already but I am not aware of any existing answer. Is there any international icon or symbol for showing Contradiction or reaching a contradiction in Mathematical contexts? The same story can be seen for showing that someone reached to the end of the proof of a theorem (i.e. as shown the tombstone symbol ∎, Halmos).

The symbols are:
$\top$ for truth (example: $100 \in \mathbb{R} \to \top$)
and $\bot$ for false (example: $\sqrt{2} \in \mathbb{Q} \to \bot$)
In Latex, \top is $\top$ and \bot is $\bot$.
