Hilfe beim Formatieren eines Sets mit zwei Bedingungen

Question

Ich versuche, Folgendes in LaTeX zu formatieren:

Ich habe versucht, ein Array zu verwenden, aber ich kann die linke Seite nicht zentrieren und weiß nicht, wie ich den großen Balken in der Mitte erstellen soll. Für jede Hilfe bei der Formatierung wäre ich dankbar.

Answer 1

arrayHier ist eine Lösung, die (a) eine Umgebung mit zwei Spalten verwendet , (b) ein minipagein die rechte Spalte platziert und (c) eine enumerateUmgebung innerhalb der minipageUmgebung verwendet. Beachten Sie, dass das arrayautomatisch horizontal zentriert wird, wenn Sie es in eine Display-Math-Umgebung platzieren.

\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

So etwas könnte reichen

Jeder Artikel, den ich hier schreiben würde

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

volles MWE

\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

enumerateIn diesem einfachen Fall ist das nicht nötig .

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