¿Cómo negar \forall?

Question

En una de las diapositivas de mi universidad se utilizó la negación de \forall. Se veía así:

Quiero usar el símbolo, así que lo busqué usandoesta publicación de StackExchange, pero no pude encontrarlo por ningún lado.

¿Se usa siquiera? En caso afirmativo, ¿cuál es el comando LaTeX?

Answer 1

Nunca lo he visto. De todos modos:

\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

Mi humilde propuesta, como alternativa, es utilizar cancelel paquete.

%% 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

Otros parecen estar complicando esto.

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