Как отрицать \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.

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