Looking for a non-usual symbol for semidirect product

I have just found it. It is defined in stix package, as: \oplusrhrim and \otimesrhrim.

enter image description here


You can build the symbols yourself.

\documentclass{article}
\usepackage{pict2e}

\makeatletter
\DeclareRobustCommand{\loplus}{\mathbin{\mathpalette\[email protected]{+}}}
\DeclareRobustCommand{\lotimes}{\mathbin{\mathpalette\[email protected]{\times}}}
\DeclareRobustCommand{\roplus}{\mathbin{\mathpalette\[email protected]{+}}}
\DeclareRobustCommand{\rotimes}{\mathbin{\mathpalette\[email protected]{\times}}}

\newcommand{\[email protected]}[2]{\[email protected]{#1}{#2}{-90,90}}
\newcommand{\[email protected]}[2]{\[email protected]{#1}{#2}{270,90}}
\newcommand{\[email protected]}[3]{%
  \begingroup
  \sbox\[email protected]{$\[email protected]#1#2$}%
  \setlength{\unitlength}{\dimexpr\ht\[email protected]+\dp\[email protected]\relax}%
  \makebox[\wd\[email protected]]{\raisebox{-\dp\[email protected]}{%
    \begin{picture}(1,1)
    \linethickness{\[email protected]{#1}}
    \roundcap
    \put(0.5,0.5){\makebox(0,0){\raisebox{\dp\[email protected]}{$\[email protected]#1#2$}}}
    \put(0.5,0.5){\arc[#3]{0.5}}
    \end{picture}%
  }}%
  \endgroup
}
\newcommand{\[email protected]}[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}

enter image description here

However, note that the standard \oplus and \otimes are lighter than + and \times, so you may want to redefine also them in a similar way, using the full circle.

Tags:

Symbols