Ensuring the body of the notation in Locate is printed at level 0.
Ensuring the body of the notation in Locate is printed at level 0.

This is consistent with the syntax of Notation and is (IMO) clearer.

JasonGross/coq,coq/coq,Zimmi48/coq,Zimmi48/coq,silene/coq,ejgallego/coq,gares/coq,coq/coq,SkySkimmer/coq,gares/coq,SkySkimmer/coq,JasonGross/coq,ejgallego/coq,JasonGross/coq,coq/coq,coq/coq,SkySkimmer/coq,silene/coq,gares/coq,SkySkimmer/coq,gares/coq,Zimmi48/coq,JasonGross/coq,ejgallego/coq,silene/coq,ejgallego/coq,Zimmi48/coq,gares/coq