如何在Mathjax中围绕文本编码圈子

Question

下图来自Chiswell和Hodges Mathematical Logic的练习，第21页：

当我在数学堆栈交换中发布答案时，我想展示类似的东西，但我不知道如何使用数字内部的数字制作圆圈，也不知道如何通过Mathjax中的字母制作正斜杠。我想我可以使用“\ frac”以及其余部分来处理分数。

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

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

Answer 1

有很多可能的方法围绕这个圈子。这是三个：

1. 使用带有enclose表示法的circle扩展名：

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

   在第一次使用\require{enclose}之前，您只需要在页面上包含一次\enclose。 \kern命令是使圆形为圆形而不是椭圆形，因为它的大小比它宽。
2. 使用\rlap将1放在\bigcirc的顶部： {scriptstyle \rlap{\kern .18em 1}\raise.04em{\bigcirc}}} 我们也稍微提高了一个大圈子以使位置更好。
3. 使用\unicode{}命令获取U + 2460字符，即“带圆圈的数字1”： {\textstyle\unicode{x2460}}

您可以使用cancel包来获取\cancel，它会在其参数上产生对角线向上斜线，并使用上标将带圆圈的1放置到位：

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

将这一切与你的分数结合起来，你可以做类似以下可怕的黑客攻击：

\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).}

这包括手动调整大量间距以使分数线成为正确的长度。对很多这样做这样做会很痛苦。

结果如下：