如何否定 \forall？

Question

在我大學的一張投影片中，使用了 \forall 的否定。它看起來像這樣：

我想使用該符號，所以我使用搜尋它這個 StackExchange 帖子，但我到處都找不到它。

還用過嗎？如果是的話，LaTeX 指令是什麼？

Answer 1

我從來沒有見過它。反正：

\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

我的拙見，作為替代方案，是使用cancelpackage.json。

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

其他人似乎使這個問題變得複雜。

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