텍스트 위의 과잉 정렬 및 공백 삽입

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

Barbara Beeton이 지적한 것처럼 가장 간단한 솔루션은 \mathrlap다음을 사용합니다.mathtools 내부에\overset의 첫 번째 인수. \mathstrut넘치는 항목과 방정식의 주요 행 사이의 올바른 수직 간격을 보장하기 위해 두 번째 인수에 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}