テキストの上にオーバーセット配置し、空白を挿入する

Question

数式のスペースを壊さずに、数式の上に注釈を挿入したいと思います。注釈は左揃えで、最初の記号の上に下向きの矢印で始まる必要があります。

コード

\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}

出力

希望

Answer 1

バーバラ・ビートンが指摘したように、最も簡単な解決策\mathrlapはmathtools 内部\overset の最初の引数。\mathstrutオーバーセット部分と方程式の主線の間に正しい垂直間隔を確保するために、2 番目の引数にa を追加しました。

\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}