Ayuda para formatear un conjunto con dos condiciones

Question

Estoy intentando formatear lo siguiente en LaTeX:

Intenté usar una matriz, pero no puedo centrar el lado izquierdo y no sé cómo hacer la barra grande en el medio. Se agradecería cualquier ayuda para formatear esto.

Answer 1

arrayAquí hay una solución que (a) usa un entorno de dos columnas , (b) coloca a minipageen la columna de la derecha y (c) emplea un enumerateentorno dentro del minipageentorno. Tenga en cuenta que arrayse centrará horizontalmente automáticamente si lo coloca dentro de un entorno de visualización 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 como esto podría hacer

Cada elemento que escribiría aquí

\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

No es necesario enumerateen este sencillo caso.

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