This member is added by an implicit conversion from ETWeakQuantifier to
any2stringadd[ETWeakQuantifier] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from ETWeakQuantifier to
StringFormat[ETWeakQuantifier] performed by method StringFormat in scala.Predef.
Represents Qx A +u1 E_1 ... +u_n E_n this way: