It looks like this:
What does it mean?
It means that if you have some sentence in which a constant n occurs, then you may insert a sentence, n=n, that entails that n is identical with itself.
