如何否定 \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

我的卑微​​建议是，作为替代方案，使用cancel包裹。

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