部分张量积符号

部分张量积符号

环上有一个不对称的张量类二元积运算,其符号由半直积符号\rtimes和张量积符号共同表示\otimes。它看起来像一个张量积,但中央“X”的左下脚和左上脚之间缺少了周围的“O”的圆弧。以下是使用 iPad 手绘的符号图片:

手写数学符号,包括我想要复制的符号。如果我可以创建 \rtensor 命令,LaTeX 代码将是 $\widehat{H}_c \rtensor \mathbb{C}[\Gamma(c)]$。

据我所知,到目前为止,它都是手写的。如何在 LaTeX 中为该操作创建字形?我想称之为\rtensor。我觉得最简单的方法是\otimes通过从一侧移除圆弧来修改字形,因为我希望它具有相同的大小并具有相同的间距属性。但我不知道如何继续。

有人可以帮我排版这个符号吗?

答案1

这是一个简单的“设计您自己的” TikZ 解决方案。

在此处输入图片描述

优点:简单。与剪辑相比,角落更美观。

缺点:不是真正的精确间距\otimes。但很接近。

代码:

\documentclass{article}
\usepackage{tikz,scalerel}

\newcommand{\rtensor}{\mathbin{\mkern1mu\scalerel*{\tikz[line width=.25]{
    \clip(0,0) circle[radius=1mm+.125pt];
    \draw(-45:.1)--(135:.1) arc (135:-135:.1) -- (45:.1);
    }}{\otimes}\mkern1mu}}

\begin{document}

$H\rtensor C_{H\rtensor C_{H\rtensor C}}$

\end{document}

更新: 如果要使 的间距与\rtensor完全相同\otimes,您可以重新定义\otimes。如果愿意,可使用\let保留原始定义。\otimes

\documentclass{article}
\usepackage{tikz,scalerel}

\let\oldtimes\otimes

\renewcommand{\otimes}{\mathbin{\mkern1mu\scalerel*{\tikz[line width=.25]{
    \clip(0,0) circle[radius=1mm+.125pt];
    \draw(0,0) circle[radius=.1]; \draw (-135:.1) -- (45:.1); \draw (135:.1) -- (-45:.1);
    }}{\oldtimes}\mkern1mu}}

\newcommand{\rtensor}{\mathbin{\mkern1mu\scalerel*{\tikz[line width=.25]{
    \clip(0,0) circle[radius=1mm+.125pt];
    \draw(-45:.1)--(135:.1) arc (135:-135:.1) -- (45:.1);
    }}{\oldtimes}\mkern1mu}}

\begin{document}

$H\rtensor C_{H\rtensor C_{H\rtensor C}}$

$H\otimes C_{H\otimes C_{H\otimes C}}$

\end{document}

在此处输入图片描述

答案2

设置为适用于所有数学风格。

尽管下面的原始答案得到了很好的支持,但我还是认真考虑了芭芭拉关于如何剪辑才能提供方角的评论。因此,这是一个修订版,似乎可以在 10-12 pt 文档的范围内很好地工作,无需进行任何更改。

要了解如何完成此操作,您可以将 更改为whitered查看补丁如何覆盖\otimes。因此,此版本仅适用于具有白色背景的文档。

\documentclass{article}
\usepackage{amsmath,trimclip,scalerel,xcolor,stackengine}
\newcommand\rtensor{\mathbin{\ThisStyle{\sbox0{$\SavedStyle\otimes$}%
  \ensurestackMath{\stackinset{r}{.5\wd0+.1pt+.1\LMpt}{c}{}%
  {\textcolor{white}{\clipbox{1.1pt 0pt 0pt 0pt}{\rotatebox%
  [origin=c]{45}{\rule{.425\wd0}{.42\wd0}}}}}{\SavedStyle\otimes}}}}}
\begin{document}
$ A \rtensor B$

$\scriptstyle A \rtensor B$

$\scriptscriptstyle A \rtensor B$
\end{document}

在此处输入图片描述

原始答案

\documentclass{article}
\usepackage{amsmath,trimclip,scalerel}
\newcommand\rtensor{\mathbin{\ThisStyle{\kern1pt
  \clipbox{{\dimexpr.25ex+.12\LMex\relax} 0pt 0pt 0pt}%
  {$\SavedStyle\otimes$}}}}
\begin{document}
$ A \rtensor B$

$\scriptstyle A \rtensor B$

$\scriptscriptstyle A \rtensor B$
\end{document}

在此处输入图片描述

对于[12pt]具有不同边距和相对比例的文档,此调整似乎有效

\documentclass[12pt]{article}
\usepackage{trimclip,scalerel}
\newcommand\rtensor{\mathbin{\ThisStyle{\kern1pt
  \clipbox{{\dimexpr.06ex+.31\LMex\relax} 0pt 0pt 0pt}%
  {$\SavedStyle\otimes$}}}}
\def\scriptscriptstyleScaleFactor{0.63}
\begin{document}
$ A \rtensor B$

$\scriptstyle A \rtensor B$

$\scriptscriptstyle A \rtensor B$
\end{document}

在此处输入图片描述

答案3

史蒂文答案的另一种选择,可以对各种风格的剪辑进行微调。

请注意,不同的数学字体可能需要不同的因子。

\documentclass{article}
\usepackage{trimclip}

\makeatletter
\DeclareRobustCommand{\rotimes}{\mathbin{\mkern1mu\mathpalette\rotimes@\relax}}
\newcommand{\rotimes@}[2]{%
  \clipbox{{\rotimes@clip{#1}} 0pt 0pt 0pt}{$\m@th#1\otimes$}%
}
\newcommand{\rotimes@clip}[1]{%
  \ifx#1\displaystyle 0.206\else
  \ifx#1\textstyle 0.206\else
  0.22\fi\fi\width
}
\makeatother

\begin{document}

$\hat{H}_l \rotimes C[\Gamma(c)]$

$\scriptstyle\hat{H}_l \rotimes C[\Gamma(c)]$

$\scriptstyle\hat{H}_l \rotimes C[\Gamma(c)]$

\Huge$H\rotimes C$

\end{document}

在此处输入图片描述

相关内容