The Notation is:


      for (x) φx : a - (x) - a φx b - ( x) - b
and



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