Comment by HuangYuSan

I believe in German (possibly also other languages) the thunderbolt ↯ is commonly used to mean "this is a contradiction" in a mathematical proof, equivalently to in English a kind of ⋕ rotated by 45° or the symbol ※. The symbol ⟂ on the other hand means "false" and is used in particular in formal logic.