结合通用量词和存在量词

结合通用量词和存在量词

我想将存在量词和通用量词结合起来,以便通用量词的左边部分与存在量词的右边部分相匹配。

为此我定义了命令:

\newcommand{\quantifs}{\exists\hspace{-3.1pt}\resizebox{7.45pt}{!}{\rotatebox[origin=c]{-20}{$\forall$}}}

当我输入 时,它工作得很好$\quantifs$。但是,如果大小发生变化,匹配就会完全错误,例如当它处于 中的下标中时$x_{\quantifs}$

我该如何修复?或者已经在某处定义了这样的符号?

答案1

对于几何符号,最好使用几何。;-)

\documentclass{article}
\usepackage{amsmath,pict2e}

\newcommand{\quantifs}{\mathpalette\xquantifs\relax}

\makeatletter
\newcommand{\xquantifs}[2]{%
  \mspace{1.5mu}%
  \sbox0{$\m@th#1\exists$}%
  \setlength{\unitlength}{.8\ht0}%
  \ifx#1\scriptstyle\linethickness{0.35pt}\fi
  \ifx#1\scriptscriptstyle\linethickness{0.3pt}\fi
  \begin{picture}(1.55,1.2)
  \roundcap\roundjoin
  \polyline(0,0.05)(0.75,0.05)(0.75,1.22)(0,1.2)
  \polyline(0.05,0.625)(0.75,0.625)
  \put(0.75,0.05){\line(5,6){0.8}}
  \put(0.75,0.85){\line(11,-5){0.45}}
  \end{picture}%
  \mspace{1.5mu}
}
\makeatother

\begin{document}

$\exists\quantifs\exists$

$\scriptstyle\exists\quantifs\exists$ $x_{\exists}x_{\quantifs}$

$\scriptscriptstyle\exists\quantifs\exists$

\end{document}

在此处输入图片描述

在 scriptscript 样式中,反向的 E 不像 中那么宽\exists;如果确实需要,可以修复这个问题。

相关内容