Ищем необычный символ для полупрямого произведения

Question

Мне нужны символы, используемые в учебнике.Теория групповых представлений и ее приложенияАсома О. Барута и Рышарда Рацки (2-е изд.) для полупрямой суммы и полупрямого произведения. Я загружаю фото.

Я искал символы Unicode, но ничего не нашел, так что, вероятно, это будет сложно.

Спасибо.

Замечание.Этот вопрос был отмечен каквозможный дубликат вопроса. Я с этим не согласен. Я пытался использовать Detexify, чтобы найти свой символ, но он его не распознал. Наверное, мне следует лучше изучить The Comprehensive LaTeX Symbol List, но это уже другой вопрос. Любой из ответов, представленных вКак найти символ или определить математический символ или знак?решает мою проблему.

Answer 1

Вы можете создать символы самостоятельно.

\documentclass{article}
\usepackage{pict2e}

\makeatletter
\DeclareRobustCommand{\loplus}{\mathbin{\mathpalette\dog@lsemi{+}}}
\DeclareRobustCommand{\lotimes}{\mathbin{\mathpalette\dog@lsemi{\times}}}
\DeclareRobustCommand{\roplus}{\mathbin{\mathpalette\dog@rsemi{+}}}
\DeclareRobustCommand{\rotimes}{\mathbin{\mathpalette\dog@rsemi{\times}}}

\newcommand{\dog@rsemi}[2]{\dog@semi{#1}{#2}{-90,90}}
\newcommand{\dog@lsemi}[2]{\dog@semi{#1}{#2}{270,90}}
\newcommand{\dog@semi}[3]{%
  \begingroup
  \sbox\z@{$\m@th#1#2$}%
  \setlength{\unitlength}{\dimexpr\ht\z@+\dp\z@\relax}%
  \makebox[\wd\z@]{\raisebox{-\dp\z@}{%
    \begin{picture}(1,1)
    \linethickness{\variable@rule{#1}}
    \roundcap
    \put(0.5,0.5){\makebox(0,0){\raisebox{\dp\z@}{$\m@th#1#2$}}}
    \put(0.5,0.5){\arc[#3]{0.5}}
    \end{picture}%
  }}%
  \endgroup
}
\newcommand{\variable@rule}[1]{%
  \fontdimen8  
  \ifx#1\displaystyle\textfont3\else
    \ifx#1\textstyle\textfont3\else
      \ifx#1\scriptstyle\scriptfont3\else
        \scriptscriptfont3\relax
  \fi\fi\fi
}
\makeatother

\begin{document}

$A\roplus B\rotimes C\loplus D \lotimes E$

$\scriptstyle \roplus\rotimes\loplus\lotimes$

\end{document}

Однако следует отметить, что стандартные \oplusи \otimesлегче, чем +и \times, поэтому вы можете переопределить их аналогичным образом, используя полный круг.

Answer 2

Я только что нашел его. Он определен в stixпакете как: \oplusrhrimи \otimesrhrim.