It looks like this:
What does it mean?
It means that if you have the double negation, ¬¬P, of a sentence, P, then you are entitled to claim sentence P.
