It looks like this:
What does it mean?
It means that if you have derived both a sentence, P, and also ¬P, the denial or negation of P, then you are entitled to insert the contradiction, |.
