Ajuda Formatando um conjunto com duas condições

Question

Estou tentando formatar o seguinte em LaTeX:

Tentei usar um array, mas não consigo centralizar o lado esquerdo e não sei como fazer a barra grande no meio. Qualquer ajuda para formatar isso seria apreciada.

Answer 1

arrayAqui está uma solução que (a) usa um ambiente de duas colunas , (b) coloca a minipagena coluna da direita e (c) emprega um enumerateambiente dentro do minipageambiente. Observe que o arrayserá centralizado horizontalmente automaticamente se você colocá-lo dentro de um ambiente de exibição matemática.

\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

Algo assim pode fazer

Cada item que eu escreveria aqui

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

MWE completo

\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

Não há necessidade enumerateneste caso simples.

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