Change the \orthplus symbol to a diamond

The old one was ugly ond too big
This commit is contained in:
regnat 2017-04-11 14:56:20 +02:00
parent 4b8bddc46e
commit 8f08d41fce

View File

@ -72,7 +72,7 @@
\DeclareMathOperator\dom{dom}
\DeclareMathOperator\deff{def}
\newcommand{\orthsum}{\oplus^\bot}
\newcommand{\orthplus}{\overset{\bot}{+}}
\newcommand{\orthplus}{\diamond}
\newcommand{\subtype}{\leq}
\newcommand{\onerec}{\{ \textbf{..} \}}
\DeclareCollectionInstance{plainmath}{xfrac}{mathdefault}{math}