Alternatives:	(mml file)  (full) (simple) (plain) (form) (slideshow)
File:	Content/ArithmeticAlgebraLogic/forall/forall1
CVS-ID:
Author:	Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)
Description:	not (forall s in S where f(s) is in T)
Sample Rendering:

Your browser's rendering: