The Notation is:

for (x) φx; a ‒ (x) ‒ a φ x b ‒ ( x) ‒ b
and


for (x) φx : a ‒ (x) ‒ a φ x b ‒ (x) ‒ b