Quantificador universal em LaTeX (\forall)

Onde é usado

Produz o quantificador universal ∀, lido “para todo” ou “para cada”.

\forall inicia enunciados quantificados universalmente, como na definição épsilon-delta \forall \varepsilon > 0\ \exists \delta > 0. O TeX o trata como um símbolo comum, então não há espaço automático depois da variável ligada; acrescente \, ou \ ou um separador como dois-pontos ou ponto, conforme a sua convenção. Em demonstrações com muito texto, muitos guias de estilo preferem escrever “para todo” por extenso em vez de \forall. No cálculo lambda tipado e na teoria de tipos, ele também introduz tipos polimórficos, por exemplo \forall \alpha.\, \alpha \to \alpha.

Também aparece em: Lógica e Provas, Quantificadores

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou LuaLaTeX.

\documentclass{article}
\begin{document}
For All: $\forall$

\[ \forall \varepsilon > 0\ \exists \delta > 0 : |x - a| < \delta \]
\end{document}

Símbolos relacionados

• Quantificador existencial\exists
• Equivalência (se e somente se)\iff
• Pertinência\in
• Implicação\implies
• Não pertinência\notin
• Maior ou igual\geq

Perguntas frequentes

Como escrever Quantificador universal em LaTeX?

Digite \forall no modo matemático, por exemplo $\forall \varepsilon > 0\ \exists \delta > 0 : |x - a| < \delta$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para \forall?

Nenhum. \forall faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar \forall no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $\forall$. Se você só precisa do glifo no texto, cole o caractere Unicode ∀ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).