not (forall s in S where f(s) is in T)
<math xmlns="http://www.w3.org/1998/Math/MathML"> <apply> <not/> <apply> <forall/> <bvar> <ci>s</ci> </bvar> <condition> <apply> <in/> <ci>s</ci> <ci>S</ci> </apply> </condition> <apply> <in/> <apply> <fn> <ci>f</ci> </fn> <ci>x</ci> </apply> <ci>T</ci> </apply> </apply> </apply> </math>
Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)