用作下标时更改符号大小

Question

这是这个问题。

我想定义\fa显示\forall输入的时间，但将输入\mathsmaller{\forall}时间\fa用作下标。例如，我想写这样的句子

Let $(\K_\fa, \leq_\fa)$ be the $\fa$-closure of ...

并且第一个\fa显示器为常规尺寸，但第二个显示器使用\mathsmaller。

有什么简单的方法可以做到这一点吗？

Answer 1

你所要做的就是

\newcommand{\fa}{\forall}

我们来尝试一下。

\documentclass{article}

\newcommand{\fa}{\forall}

\begin{document}

Let $(K_\fa, {\leq}_\fa)$ be the $\fa$-closure of whatever.

\end{document}

\leq注意，当它不用作关系符号，而是用作关系名称时，括号里会有括号。当然，你将继续写

$a \leq_\fa b$

当该符号以正确的意义使用时。

你可能做

\documentclass{article}

\newcommand{\fa}{{
  \mathchoice{\forall}{\forall}{\scriptscriptstyle\forall}{\forall}
}}

\begin{document}

Let $(K_\fa, {\leq}_\fa)$ be the $\fa$-closure of whatever.

\end{document}

但结果看上去很可疑。