This member is added by an implicit conversion from ETStrongQuantifier to
any2stringadd[ETStrongQuantifier] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from ETStrongQuantifier to
ArrowAssoc[ETStrongQuantifier] performed by method ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from ETStrongQuantifier to
StringFormat[ETStrongQuantifier] performed by method StringFormat in scala.Predef.
This member is added by an implicit conversion from ETStrongQuantifier to
ArrowAssoc[ETStrongQuantifier] performed by method ArrowAssoc in scala.Predef.
Represents Qx A +u E: