☰

如何使圆形箭头与其他圆形符号具有相同的大小和位置？

tag-icon • tag-icon spacing symbols
如何使圆形箭头与其他圆形符号具有相同的大小和位置？

我使用mathabx包中的圆形箭头；​​但是，由于我更喜欢​​通常的amsmath符号，因此我遵循了 从不同字体导入单个符号仅导入圆形箭头。

这是我的代码：

\documentclass[11pt]{article}
\usepackage{amsmath,amssymb,graphicx}

\DeclareFontFamily{U}{mathb}{\hyphenchar\font45}
\DeclareFontShape{U}{mathb}{m}{n}{<5> <6> <7> <8> <9> <10> gen * mathb
<10.95> mathb10 <12> <14.4> <17.28> <20.74> <24.88> mathb12}{}
\DeclareSymbolFont{mathb}{U}{mathb}{m}{n}
\DeclareMathSymbol{\rcirclearrow}{0}{mathb}{'367}

\begin{document}
$A\mathbin{\raisebox{0.05ex}{\scalebox{0.9}{\rotatebox[origin=c]{270}{$\rcirclearrow$}}}} B$

$A\otimes B$
\end{document}

这是生产出来的产品：

图片描述

如您所见，它们没有对齐，尽管我将圆形箭头放在了里面\mathbin{}。因为我知道摆弄\hspace和\raisebox并不完全“正确”，并且不会随着字体或字体大小的变化而缩放，所以我的问题是：

如何才能使此圆形箭头与其他圆形符号（如\oplus和 ）相一致\otimes，并能正确缩放？有没有办法找出需要赋予 的确切值，\scalebox以使圆形箭头与 的大小相同\otimes？

顺便说一句，我认为这提出了一个数学问题，即循环箭头是否应被视为关系或运算符。在我的上下文中，我使用

 A (right-facing circular arrow) B

表示“A作用于B”。例如，我们可能有一个群G作用于一个空间X。

有没有具有数学倾向的人可以给出他们的意见/推理，说明“作用于”是关系还是操作，因此我是否应该给出圆形箭头 a\mathrel或\mathbin间距？

答案1

通过将其缩放到原始宽度的 ，您会失去水平空间0.9。除此之外，我将原始空间定义\rcirclearrow为\mathbin。0您在此处放置的 使其成为 Ord 原子。

将新符号放入与符号一样宽的框内\rcirclearrow可以获得良好的效果。

参考

代码

\documentclass[11pt]{article}
\usepackage{amsmath,amssymb,graphicx,calc}

\DeclareFontFamily{U}{mathb}{\hyphenchar\font45}
\DeclareFontShape{U}{mathb}{m}{n}{<5> <6> <7> <8> <9> <10> gen * mathb
<10.95> mathb10 <12> <14.4> <17.28> <20.74> <24.88> mathb12}{}
\DeclareSymbolFont{mathb}{U}{mathb}{m}{n}

\DeclareMathSymbol{\rcirclearrow}{\mathbin}{mathb}{'367}
\makeatletter
\newcommand*{\Rcirclearrow}{\mathpalette\@Rcirclearrow{}}
\newcommand*{\@Rcirclearrow}[1]{%
    \mathbin{\ooalign{\hphantom{$#1\rcirclearrow$}\cr\hss\raisebox{0.05ex}{%
                \scalebox{0.9}{%
                    \rotatebox[origin=c]{270}{%
                        $#1\rcirclearrow$}}}\hss}}}
\makeatother
\begin{document}
\leavevmode\llap{\smash{\rule[-2.3\baselineskip]{.4pt}{2.5\baselineskip}}}% only to show the alignment
$A \rcirclearrow B_{A \rcirclearrow B_{A \rcirclearrow B}}$%
\rlap{\smash{\rule[-2.3\baselineskip]{.4pt}{2.5\baselineskip}}}% again, only for alignment

$A \Rcirclearrow B_{A \Rcirclearrow B_{A \Rcirclearrow B}}$

$A \otimes B_{A \otimes B_{A \otimes B}}$
\end{document}

输出

在此处输入图片描述

相关内容