我想将存在量词和通用量词结合起来,以便通用量词的左边部分与存在量词的右边部分相匹配。
为此我定义了命令:
\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
;如果确实需要,可以修复这个问题。