Contradiction! Any Symbol for?
I am surprised to see that nobody has mentioned $\bot$. In logic, this is a standard symbol for a formula that is always false, and therefore represents a contradiction exactly.
In almost all logical formalisms, one has a rule of inference that allows one to deduce $p$ from $\bot$ for any $p$ at all, and it is usually possible to prove that $(p\land\lnot p)\to \bot$ and so forth.
Different sources use different symbols (if they use symbols at all). I've seen $\Rightarrow\Leftarrow$ most often. For some others, see "Symbolic Representation" here.
Some of my teachers and I use someone like (Harry Potter's scar) this $\unicode{x21af}$ (LaTex: \unicode{x21af}
)