It looks like this:

What does it mean?

It means that if you have a subproof starts with sentence P and ends with "the contradiction, | , then you are entitled to claim the denial of the sentence you assumed when you started the subproof, i.e., you are entitled to insert ¬P