For all mathematical notation

For all is a recurring research-paper notation family. Says that the following proposition must hold for every object in the stated domain.

For all: Says that the following proposition must hold for every object in the stated domain. Example: No real input makes its square negative.