是否有另一个与 \forall 略有不同的符号（\exists 也是如此）？

Question

什么

是否有与 略有不同的符号$\forall$（例如，从左上角到中下角有第二条线）？它显然意味着“适用于所有人”，但又足够不同，以免被误认为是$\forall$。

类似地，是否有一个略有不同的符号$\exists$（例如向下两条线）？

为什么

我需要两个不同的符号来区分我是在某种形式逻辑中还是在元级别（谈论逻辑）。目前我使用“fa”和“ex”，但我认为如果量词突出，那么理解复杂的描述会更容易。

在哪里

我查看了 amssymb 并http://www.math.union.edu/~dpvc/jsmath/symbols/welcome.html，但没有找到合适的符号。

Answer 1

该示例定义了\eexists问题\fforall中所要求的附加行。

• \eexists：符号由和垂直线\eexists组成 ，以获得具有匹配线宽的线。垂直线被缩放到正确的高度。此垂直缩放不会改变水平线宽度。最后将线移动到正确的位置。\exists|

• \fforall：垂直线技巧无法使用，因为角度无法准确得知。角度还取决于字体大小。角度可以根据符号的宽度和高度估算。对于此符号，TikZ使用 ，线宽则根据 的宽度猜测\forall。

更新：

• 减小了两条线之间的距离。
• 我删除了 的案例\scriptscriptstyle，因为这些符号的侧边距较大，需要进行补偿。但无论如何，这些符号可能不需要这么大的尺寸。
• 当然，“魔法数字”取决于使用的字体。不同的字体可能需要不同的设置。

示例文件：

\documentclass{article}
\usepackage{graphicx}
\usepackage{tikz}

\makeatletter
\newcommand*{\eexists}{%
  {\mathpalette\eexistsAux{}}%
}
\newcommand*{\eexistsAux}[2]{%
  \exists
  \sbox0{$\m@th#1\exists$}%
  \sbox2{\raisebox{\depth}{$\m@th#1|$}}%
  \kern-.5\wd2 %
  \resizebox{\width}{\ht0}{\copy2}%
  \kern-.25\wd2 %
}
\newcommand*{\fforall}{%
  {\mathpalette\fforallAux{}}%
}
\newcommand*{\fforallAuxx}[1]{%
  \sbox0{$\m@th#1\forall$}%
  \sbox2{%
    \rlap{%
      \raisebox{\depth}{$\m@th#1\backslash$}%
    }%
    \kern\ht0 %
  }%
  \sbox2{\resizebox{\ht2}{\height}{\copy2}}%
  \sbox2{\resizebox{!}{\ht0}{\copy2}}%
  \wd2=0pt %
  \copy2
  \forall
}
\newsavebox\forallBox
\newdimen\forallLineWidth
\newdimen\forallSep
\newcommand*{\fforallAux}[1]{%
  \sbox\forallBox{$\m@th#1\forall$}%
  \setlength{\forallLineWidth}{.06\wd\forallBox}%
  \setlength{\forallSep}{.09\wd\forallBox}%
  \tikz[
    inner sep=0pt,
    line cap=round,
    line width=\forallLineWidth,
  ]
  \draw
    (0,0) node (A) {\copy\forallBox}
    (A.south) ++(-\forallSep-\forallLineWidth,.4\forallLineWidth)
    coordinate (A1)
    (A.north west) ++(-\forallSep,-\forallLineWidth)
    coordinate (A2)
    (A1) -- (A2)
  ;%
}
\makeatother   

\begin{document}
\setlength{\fboxsep}{0pt}
\renewcommand*{\arraystretch}{1.5}
\begin{tabular}{cc}
  \fbox{$\forall$} & \fbox{$\exists$}\\
  \fbox{$\fforall$} & \fbox{$\eexists$}\\
  $\forall^\forall$ & $\exists^\exists$ \\
  $\fforall^\fforall$ & $\eexists^\eexists$\\
\end{tabular}
\end{document}

Answer 2

\documentclass{article}
\usepackage{graphicx,amsmath,amssymb}
\newcommand{\myexists}{\ensuremath\exists\kern-.7em\exists}
\newcommand{\myforall}{\kern.05em\ensuremath\forall\kern-.9em\rotatebox{110}{\ensuremath-}}
\newcommand{\myforalll}{\ensuremath\forall\kern-.5em\forall}

\begin{document}
\noindent
\verb|\myexists|: $\myexists $ \\
\verb|\myforall|: $\myforall $ \\
\verb|\myforalll|: $\myforalll $
\end{document}

调整长度\myforall

\documentclass{article}
\usepackage{graphicx,amsmath,amssymb}
\newcommand{\myexists}{\ensuremath\exists\kern-.7em\exists}
\newcommand{\myforall}{\kern.05em\ensuremath\forall\kern-.63em\rotatebox{110}{\rule{.73em}{.4pt}}}
\newcommand{\myforalll}{\ensuremath\forall\kern-.5em\forall}

\begin{document}
\noindent
\verb|\myexists|: $\myexists $ \\
\verb|\myforall|: $\myforall $ \\
\verb|\myforalll|: $\myforalll $
\end{document}

使用这些技术，您可以通过多种方式自定义量词，例如：

\newcommand{\fa}{\kern.05em\ensuremath\forall\kern-.22em\rotatebox{69}{\rule{.73em}{.4pt}}}
\newcommand{\ex}{\kern.05em\ensuremath\exists\kern-.03em\rotatebox{90}{\rule{.68em}{.35pt}}}

Answer 3

\mathbb{A}您可以通过旋转和反射来制作类似的东西\mathbb{E}。

\documentclass{article}
\usepackage{amssymb}
\usepackage{graphicx}
\begin{document}
\rotatebox[origin=c]{180}{$\mathbb{A}$} $\forall$
\reflectbox{$\mathbb{E}$} $\exists$
\end{document}

这样，你可以尝试并选择你最喜欢的字体，例如 mathrm：

Answer 4

\exist以下是具有双线的版本：

\documentclass{article}
\newcommand{\eexists}{\ooalign{$\exists\,$\cr$\,\exists$}}
\begin{document}
Let's assume $\exists\mathcal{X}$ or $\eexists\mathcal{Y}$.
\end{document}

\eexists是两个图层的叠加\exists，中间留有一定空间。