\forall を否定するにはどうすればいいですか?

Question

私の大学のスライドの 1 つでは、\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}