1

I'm trying to emulate the following types of formatting within a math environment:

p.709 Dummit and Foote, proposition 38(3)

enter image description here

I've looked around and managed to do the following:

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

which gives:

latex output of above code

enter image description here

I'm a bit lost on how to make the text align in the middle of the curly braces, any help would be appreciated.

2
  • 4
    Welcome to the site. Your sample code is incomplete, it that it has a lot of undefined macros. Please edit your question to provide a small but functional minimum working example that demonstrates the issue. Feb 7, 2022 at 0:32
  • thank you for pointing that out! Feb 7, 2022 at 0:48

2 Answers 2

1

Something like this?

enter image description here

I arrived at the width of the \parbox by trial and error.

\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}
1
  • 1
    thank you! This was what I was looking for Feb 7, 2022 at 14:54
1

You want to use tabular for the textual inset.

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

enter image description here

If you don't need the labeled arrows, replace the whole \;...\; with \longleftrightarrow

enter image description here

1
  • thank you! The labelled arrow's were something I was looking for too! Feb 7, 2022 at 14:55

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .