Reorder notations so Coq displays { & } rather than "exists"