design/tpl: bicomp: Use superscript instead of stacking

Stacking originally seemed like a good idea, but perhaps this does read a
bit better (and looks more like the composition operation being applied),
and composes a bit better if we needed e.g. \bicomp\bicomp{R}.

It's also less ambiguous when it's over a larger expression.  For example,
\bicomp{[A]} places \circ over top of the A, which looks as if it's
[\bicomp{A}].  It's obvious what the intention is in that context, since
\bicomp{A} makes no sense, but there could be other situations where it
doesn't.  With this change, it results in {[A]}^\circ.
master
Mike Gerwitz 2021-05-10 14:11:16 -04:00
parent 0a16808542
commit 8d1c29b4cc
1 changed files with 2 additions and 2 deletions

View File

@ -119,7 +119,7 @@
\newcommand\secpref[1]{Section~\pref{sec:#1}}
% Binary function composition
\newcommand\bicomp[1]{\ensurestackMath{\stackon[1pt]{#1}{{}_\circ}}}
\newcommand\bicompi[1]{\ensurestackMath{\stackon[1pt]{#1}{{}_\bullet}}}
\newcommand\bicomp[1]{{#1}^\circ}
\newcommand\bicompi[1]{{#1}^\bullet}
\let\xml\texttt