Как кодировать круги вокруг текста в Mathjax

Question

Следующее изображение взято из упражнения в математической логике Чисвелла и Ходжеса, стр. 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, то есть «обведенная цифра один»:

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

Это включает в себя множество корректировок расстояния вручную, чтобы получить правильную длину дробных линий.Было бы больно делать это для очень многих из них.

Вот результат: