mathjax - 如何在 Mathjax 中围绕文本编写圆圈

Question

下图来自 Chiswell 和 Hodges 数学逻辑练习，第 21 页:



当我在 Mathematics Stack Exchange 上发布答案时，我想显示类似的内容，但我不知道如何在 Mathjax 中制作带有数字的圆圈或正斜杠。我想我可以用 "\frac"处理分数以及它的其余部分。

我已经从其他帖子中寻找示例进行复制，但人们似乎用括号替换了圆圈作为替代方案。

有人能告诉我应该如何或使用什么软件来获得这种效果吗？

Answer 1

有许多可能的方法来围绕一个圆圈。这里有三个:

使用 enclose扩展名 circle符号:

\require{enclose}
{\scriptstyle \enclose{circle}{\kern .06em 1\kern .06em}}

您只需要包含 \require{enclose}在您第一次使用 \enclose 之前在页面上一次. \kern命令是使圆变成圆形而不是椭圆形，因为它的大小比它宽。

使用 \rlap将 1 放在 \bigcirc 的顶部:

{scriptstyle \rlap{\kern .18em 1}\raise.04em{\bigcirc}}}

我们还稍微抬高了大圆圈以使放置更好。

使用 \unicode{}命令获取 U+2460 字符，即“带圆圈的数字一”:

{\textstyle\unicode{x2460}}

您可以使用 cancel包获取 \cancel ，它会在其参数上产生一个斜向上斜线，并使用上标将带圆圈的 1 放在适当的位置:

{scriptstyle\cancel{\psi}^{\raise.2em{\enclose{circle}{\kern .06em 1\kern .06em}}}}

将所有这些与您的分数放在一起，您可以执行以下可怕的 hack 操作:

\require{enclose}\require{cancel}
\frac{
  \lower.3em{\scriptstyle\cancel{\psi}\raise.6em{\enclose{circle}{\kern .06em 1\kern .06em}}}
  \kern 2.6em
  \frac{(\psi\wedge\phi)}{\phi}
  {\scriptstyle (\wedge\rm E)}
  \kern -2.5em
}{
  \kern -.7em
  {\scriptstyle\enclose{circle}{\kern .06em 1\kern .06em}}
  \frac{(\psi\wedge\phi)}{(\psi\rightarrow(\psi\wedge\phi))}
  {\scriptstyle(\rightarrow\rm I)}
  \kern -1.7em
}\ {\scriptstyle (\wedge\rm I).}

这包括手动进行大量间距调整，以使分数线达到正确的长度。对于很多这样的情况，这样做会很痛苦。

结果如下: