如何在Mathjax中对文本周围的圆圈进行编码

Question

以下图片摘自Chiswell和Hodges数学逻辑，第21页的练习：

当我在Mathematics Stack Exchange上发布答案时，我想显示类似的内容，但是我不知道如何用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).}

这包括手动进行许多间距调整，以使分数线具有正确的长度。对于很多这样的人，这样做会很痛苦。

这是结果：