Add anchor to existential operator header
Fix indentation on anchor
Merge pull request #3713 from tyre/patch-1

Add anchor to existential operator header