在 Latex 中格式化信件

Question

我试图在数学环境中模拟以下类型的格式：

p.709 Dummit 和 Foote，提案 38(3)

我环顾四周并设法做到了以下几点：

 \[     
     \left\{ H | H\leqslant G \right\}
     \leftrightarrow
     \left\{\text{\shortstack[c]{\\\\equivalence relations $\sim_L$\\ on
     $G$ satisfying\\ property  \ref{eq:leftEquiv}}}\right\}
\] 

这使：

上述代码的 latex 输出

我有点不明白如何使文本在花括号中间对齐，如能得到任何帮助我将不胜感激。

Answer 1

像这样吗？

\parbox我通过反复试验得出了的宽度。

\documentclass{article}
\usepackage{amssymb}
\newcommand{\eqrel}{\sim_{\mkern-1.5mu L}} % macro for "equivalence relation[s]"

\begin{document}

\[     
     \left\{\, H \mid H\leqslant G \,\right\}
     \leftrightarrow
     \left\{
        \parbox{4.5cm}{\centering 
           equivalence relations $\eqrel$ 
           on~$G$ satisfying property 4.1}
     \right\}
\] 

\end{document}

Answer 2

您想将其用于tabular文本插入。

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\[
\{H \mid H\le G\}
\;
\begin{gathered}
\overset{e}{\longrightarrow} \\[-2ex]
\underset{c}{\longleftarrow}
\end{gathered}
\;
\left\{
  \begin{tabular}{@{} c @{}}
  equivalence relations $\sim_L$ \\
  on $G$ satisfying \\
  property \ref{eq:leftEquiv}
  \end{tabular}
\right\}
\]

\end{document}

如果你不需要标记箭头，请将整个替换\;...\;为\longleftrightarrow