Помощь Форматирование набора с двумя условиями

Question

Я пытаюсь отформатировать следующее в LaTeX:

Я пробовал использовать массив, но не могу отцентрировать левую сторону и не знаю, как сделать большую полосу посередине. Любая помощь в форматировании будет оценена.

Answer 1

Вот решение, которое (a) использует двухколоночную arrayсреду, (b) помещает a minipageв правую колонку и (c) использует enumerateсреду внутри minipageсреды. Обратите внимание, что arrayбудет автоматически центрирован по горизонтали, если вы поместите его в среду display-math.

\documentclass{article} % or some other suitable document class
\usepackage{enumitem}
\newlength\mylen
% measure width of 'minipage' environment:
\settowidth\mylen{(1)\quad$f(hu)=f(h)$ for all $u\in U_f$ an open set in $G$}

\begin{document}

\[
\left\{ \begin{array}{@{} l | l @{}}
f\colon G\to W &
\begin{minipage}{\mylen}
\begin{enumerate}[left=0pt,nosep,label=(\arabic*)]
\item $f(bg)=\Delta(b)^{1/2}\sigma(b)f(g),\ \forall b\in B,\ \forall g\in G$ 
\item $f(hu)=f(h)$ for all $u\in U_f$ an open set in $G$
\end{enumerate}
\end{minipage}
\end{array} \right\}
\]

\end{document}

Answer 2

Что-то вроде этого может подойти

Каждый пункт, который я здесь напишу

\item $f(bg)=\Delta(b)...$  

полный МВЭ

\documentclass[a4paper]{article}
\usepackage{mathtools,varwidth,enumitem}
\begin{document}

\noindent
Line just to show that it is centered

\noindent
\rule\textwidth{1pt}%

\[
  \left\{
    f: G \to W
    \:
    \middle\vert
    \begin{varwidth}{\textwidth}% it readjusts it self
      \begin{enumerate}[label=(\alph*),nosep, leftmargin=*]
      \item foobar
      \item bar foo
      \end{enumerate}
    \end{varwidth}
  \right\}
\]
\end{document}

Answer 3

enumerateВ этом простом случае в этом нет необходимости .

\documentclass[a4paper]{article}
\usepackage{amsmath}

\begin{document}

\[
  \left\{\,
    f: G \to W
    \;\middle\vert\;
    \renewcommand{\arraystretch}{1.2}% like in cases
    \begin{tabular}{@{}r@{ }l@{}}
    (1) & $f(bg)=\Delta(b)^{1/2}\sigma(b)f(g),\ \forall b\in B,\ \forall g\in G$ \\
    (2) & $f(hu)=f(h)$ for all $u\in U_f$ an open set in $G$
    \end{tabular}
  \,\right\}
\]

\end{document}