Universal quantification (source code)

= Universal quantification
{title2=$\forall$}
{wiki}