Como negar \forall?

Question

Em um dos slides da minha universidade foi usada a negação de \forall. Parecia assim:

Quero usar o símbolo, então procurei por ele usandoesta postagem do StackExchange, mas não consegui encontrá-lo em lugar nenhum.

É mesmo usado? Se sim, qual é o comando LaTeX?

Answer 1

Eu nunca vi isso. De qualquer forma:

\documentclass{article}

\newcommand{\nforall}{%
  \ooalign{$\forall$\cr\hidewidth$\!/$\hidewidth\cr}%
}

\begin{document}

\[
\nforall x\in A : F
\]

\[
\lnot\forall x\in A : F
\]

\end{document}

Answer 2

Minha humilde proposta, como alternativa, é usar cancelpackage.

%% Compile and read me!
\documentclass[a4paper,12pt]{article}
\usepackage{amsmath,amssymb}
\usepackage{cancel}
\begin{document}
${\cancel \forall} x\in A : F$
\end{document}

Answer 3

Outros parecem estar complicando isso.

\documentclass{article}
\begin{document}
$\not \forall x \in A: F$
\end{document}