Source: /cirosantilli/universal-quantification

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