Ich habe ein Dokument, in dem die folgenden Operatoren zum Erweitern bzw. Einengen verwendet werden:
Wie kann ich diese Operatoren für meine eigene Arbeit reproduzieren? Ich nehme an, ich könnte einfach eine horizontale Linie innerhalb von \sqcup
und zeichnen \sqcap
, aber wie?
Kennen Sie alternativ ein Paket, das diese Operatoren bereitstellt? Ich habe es versuchthttp://detexify.kirelabs.org/und habe im Internet gesucht, aber nichts gefunden.
Antwort1
Hier ist eine Version, die mit allen mathematischen Stilen funktioniert. BEARBEITET, um die gleiche vertikale Höhe wie die Originalelemente beizubehalten
\documentclass{article}
\usepackage{scalerel}
\def\widen{\mathrel{\ThisStyle{\stretchrel*{\ooalign{%
\raise0.2\LMex\hbox{$\SavedStyle\sqcup$}\cr%
\raise-0.2\LMex\hbox{$\SavedStyle\sqcup$}}}{\sqcup}}}}
\def\narrow{\mathrel{\ThisStyle{\stretchrel*{\ooalign{%
\raise0.2\LMex\hbox{$\SavedStyle\sqcap$}\cr%
\raise-0.2\LMex\hbox{$\SavedStyle\sqcap$}}}{\sqcap}}}}
\begin{document}
$a \widen b \quad\scriptstyle a \widen b \quad\scriptscriptstyle a \widen b$
$a \narrow b \quad\scriptstyle a \narrow b \quad\scriptscriptstyle a \narrow b$
\end{document}