Benutzerdefiniertes Divisionssymbol

Question

Ich möchte ein neues Divisionssymbol definieren, das dem Strich "/" ähnelt, aber ein um 45 Grad gedrehtes Minuszeichen (-) ist, so wie \timesein gedrehtes +. Es soll dieselben Eigenschaften wie die anderen Rechenzeichen (+, - und \times) haben, also denselben Abstand usw.

Ich habe Folgendes versucht.

% Inversa da multiplicação em anéis e grupos
\makeatletter
    \providecommand{\newdiv}{%
    \mathbin{
    \hspace{-1.5pt}\mathpalette\@rotatinganeighth{-}\hspace{-1.5pt}
    }
}
\newcommand*{\@rotatinganeighth}[2]{%
    \rotatebox[origin=c]{45}{$\m@th#1#2$}%
    }
\makeatother

Die Ergebnisse scheinen in Ordnung zu sein, aber ich hätte gerne etwas „Saubereres“. Mir gefällt nicht die Tatsache, dass ich das spezifische Leerzeichen eingebe \hspace{-1.5pt}, ich möchte lediglich, dass es sich wie eine binäre Operation verhält und, wenn möglich, wie eine unäre Operation, wenn kein Symbol davor steht (genauso wie sich das Minuszeichen verhält).

Answer 1

Ich schlage vor \mathpalette, dass das Symbol in tiefgestellten und hochgestellten Ziffern richtig skaliert wird.

Das Minuszeichen hat die gleiche Höhe wie das Pluszeichen, also müssen wir es zerschlagen und in ein Kästchen setzen, das so breit ist wie das Pluszeichen. Ein vertikales Phantom stellt die richtige Höhe und Tiefe sicher.

\documentclass{article}
\usepackage{graphicx}

\makeatletter
\newcommand{\newdiv}{\mathbin{\mathpalette\@newdiv\relax}}
\newcommand{\@newdiv}[2]{%
  \begingroup
  \sbox\z@{$\m@th#1+$}%
  \makebox[\wd\z@]{\smash{\rotatebox[origin=c]{45}{$\m@th#1-$}}}%
  \vphantom{\usebox{\z@}}%
  \endgroup
}
\makeatother

\setlength{\fboxsep}{0pt}\setlength{\fboxrule}{0.1pt}% just for the example

\begin{document}

$a+b$ \fbox{$a+b$}

$a\newdiv b$ \fbox{$a\newdiv b$}

$\scriptstyle a+b\newdiv c$

\end{document}

Answer 2

Wie dieses hier von \usepackage{fdsymbol}:

$a\medslash b$ $f_{a\medslash b}$