是否有另一个与 \forall 略有不同的符号(\exists 也是如此)?

是否有另一个与 \forall 略有不同的符号(\exists 也是如此)?

什么

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

类似地,是否有一个略有不同的符号$\exists$(例如向下两条线)?

为什么

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

在哪里

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

答案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}

结果

答案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}}}

在此处输入图片描述

答案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:

在此处输入图片描述

答案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,中间留有一定空间。

相关内容