Übersatzausrichtung über Text und eingefügtes Leerzeichen

Question

Ich möchte eine Anmerkung über Gleichungen einfügen, ohne den Abstand dieser Gleichung zu unterbrechen. Die Anmerkung sollte linksbündig ausgerichtet sein und mit einem Pfeil beginnen, der auf das erste Symbol nach unten zeigt.

Code

\newcommand{\hookdownleft}{\rotatebox[origin=b]{90}{$\Lsh$}}
\begin{dfn}
$\overset{\hookdownleft \text{family of sets from } \Omega \: 
\rightarrow \: \text{one set from } \Omega}{op} \in \mathcal{O} = 
\set{\text{set operations}}}$
\end{dfn}

Ausgabe

Gewünscht

Answer 1

Wie Barbara Beeton betont, besteht die einfachste Lösung \mathrlapausmathtools innendas erste Argument von \overset. Ich habe \mathstrutdem zweiten Argument ein hinzugefügt, um einen korrekten vertikalen Abstand zwischen dem Overset-Element und der Hauptzeile der Gleichung sicherzustellen:

\documentclass{article}

\usepackage{mathtools, amsthm, amssymb}
\DeclarePairedDelimiter{\set}\{\}
\usepackage{rotating, bigstrut}
    \newcommand{\hookdownleft}{\rotatebox[origin=b]{90}{$\Lsh$}}
\theoremstyle{definition}
\newtheorem{dfn}{Definition}

\begin{document}

\begin{dfn}
$\overset{\mathrlap{\hookdownleft \text{family of sets from } \Omega \:
\rightarrow \: \text{one set from } \Omega}}{op\mathstrut} \in \mathcal{O} =
\set{\text{set operations}}$
\end{dfn}

\end{document}