Wie negiert man \forall?

Question

Auf einer der Folien an meiner Universität wurde die Negation von \forall verwendet. Sie sah folgendermaßen aus:

Ich möchte das Symbol verwenden, also habe ich danach gesucht mitdieser StackExchange-Beitrag, aber ich konnte es nirgendwo finden.

Wird es überhaupt verwendet? Wenn ja, wie lautet der LaTeX-Befehl?

Answer 1

Ich habe es noch nie gesehen. Wie auch immer:

\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

Mein bescheidener Vorschlag wäre, alternativ cancelein Paket zu verwenden.

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

Andere scheinen es zu verkomplizieren.

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