如何定义一个新的量词？

Question

我想用 A 和 E 以外的字母定义新的量词类符号。

该命令\reflectbox{\mathsf{#1}}在一定程度上实现了这一点，只是\mathsf使文本比应有的更粗。（ 也会出现同样的情况\textsf。）

例如比较\reflectbox{\mathsf{E}}和的厚度\exists。

我还可以采取什么其他方法？

OP编辑：

我特别感兴趣的是输出为\reflectbox{\mathsf{Q}}，但厚度为\exists。但如果可能的话，我对解决这个问题的通用方法感兴趣，而不是只适用于 Q 的方法。

Answer 1

您可以使用 ClearSans 字体中提供的细无衬线字体。笔画不圆润，因此最好也重新定义标准量词。我在图片中展示了比较。

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

\newcommand{\clearthin}{\usefont{\encodingdefault}{ClearSans-TLF}{thin}{n}}
\newcommand{\definequantifier}[3]{%1 = command, #2 = h or v, #3 = letter
  \if #2h%
    \DeclareRobustCommand{#1}{\scalebox{-1}[1]{\text{\clearthin#3}}}%
  \else
    \DeclareRobustCommand{#1}{\raisebox{\depth}{\scalebox{1}[-1]{\text{\clearthin#3}}}}%
  \fi
}

% for the comparison
\let\oriexists\exists
\let\oriforall\forall
%%%

\definequantifier{\exists}{h}{E}
\definequantifier{\forall}{v}{A}
\definequantifier{\qfoo}{h}{Q}



\begin{document}

$\oriexists x\oriforall y$

$\exists x\forall y\qfoo z$

\end{document}