Add anchor to existential operator header