Gostaria de definir um novo símbolo de divisão semelhante à barra "/" mas que seja um sinal de menos (-) girado 45 graus, da mesma forma \timesé um + girado. Quero que tenha as mesmas propriedades dos outros símbolos aritméticos (+,- e \times), ou seja, o mesmo espaçamento etc.
O que tentei fazer é o seguinte.
% 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
Os resultados parecem bons, mas eu gostaria de ter algo "mais limpo", não gosto do fato de inserir o espaço específico \hspace{-1.5pt}, só queria que se comportasse como uma operação binária e, se possível, como uma operação unária quando não há nenhum símbolo antes dele (da mesma forma que o sinal de menos se comporta).
Responder1
Sugiro \mathpalettepara que o símbolo seja dimensionado corretamente em subscritos e sobrescritos.
O sinal de menos tem altura igual ao sinal de mais, então precisamos quebrá-lo e colocá-lo em uma caixa tão larga quanto o sinal de mais. Um fantasma vertical garantirá a altura e profundidade corretas.
\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}
Responder2
Como este, de \usepackage{fdsymbol}:
$a\medslash b$ $f_{a\medslash b}$
