带数字标签的缩进文本

Question 1

您可以使用一个框来放置文本，我建议varwidth水平尺寸尽可能小。我还使用enumitem它来自定义列表。

局部增加行距可减少混乱。

\documentclass[leqno]{article}
\usepackage{amsmath}
\usepackage{amssymb}

\usepackage{enumitem}
\usepackage{varwidth} % THE trick

\begin{document}

\setcounter{equation}{14}% to get 15 like in the picture

\noindent
equivalent to the following:
\begin{equation}
\left\lbrace
\begin{varwidth}{\textwidth}
\linespread{1.4}\itshape
there exist sets $Y_0,\dots,Y_m$ such that
\begin{enumerate}[label=\upshape(\alph*),nosep,wide]
\item $Y_0,\dots,Y_m$ are a partition of $I$,
\item $Y_j\subseteq K^{\mathfrak{A}}_{\bigvee V_k \beta'_j}(f)$, for each $j\le m$,
\item and $\dashv_{\mathfrak{S}}\varPhi'[Y_0,\dots,Y_m]$.
\end{enumerate}
\end{varwidth}
\right.
\end{equation}

\end{document}

Answer

您可以使用一个框来放置文本，我建议varwidth水平尺寸尽可能小。我还使用enumitem它来自定义列表。

局部增加行距可减少混乱。

\documentclass[leqno]{article}
\usepackage{amsmath}
\usepackage{amssymb}

\usepackage{enumitem}
\usepackage{varwidth} % THE trick

\begin{document}

\setcounter{equation}{14}% to get 15 like in the picture

\noindent
equivalent to the following:
\begin{equation}
\left\lbrace
\begin{varwidth}{\textwidth}
\linespread{1.4}\itshape
there exist sets $Y_0,\dots,Y_m$ such that
\begin{enumerate}[label=\upshape(\alph*),nosep,wide]
\item $Y_0,\dots,Y_m$ are a partition of $I$,
\item $Y_j\subseteq K^{\mathfrak{A}}_{\bigvee V_k \beta'_j}(f)$, for each $j\le m$,
\item and $\dashv_{\mathfrak{S}}\varPhi'[Y_0,\dots,Y_m]$.
\end{enumerate}
\end{varwidth}
\right.
\end{equation}

\end{document}

Question 2

对于文本和数学的混合，是的，您必须在数学环境中使用与文本相关的宏，sa \text{}，或在常规段落中切换到数学模式。只需选择涉及较少写作的那个。

对于自定义标签，您可以使用\tag{custom label}，它会在括号中显示自定义标签，或者\trag*{}会按原样显示标签，并按原样引用。如果您同意加载数学工具包中，您可以访问另外两个宏：\newtagform{<name>}{left}{right}定义新格式并\usetagform{<name>}切换到该格式 - 如果default用作<name>，它将恢复默认格式。left和right是自定义分隔符，例如[和]。顺便说一下数学工具也加载数学，因此您不需要明确加载它。

请注意，\tag{}如果使用它，则会抑制当前公式的编号。这意味着在您的文档中，编号将如下：(1)、(2)、自定义标签、自定义标签、(3) 等。

考虑这个例子。如您所见，当使用两个自定义标签时，编号会停止并在下一个常规等式中恢复：

\documentclass{article}
\usepackage{mathtools}

\newtagform{braces}{\{}{\}}


\begin{document}
\begin{equation}\label{eq:1}
  a = b
\end{equation}

\usetagform{braces}
\begin{equation}\label{eq:2}
  c = d\tag{a}
\end{equation}

\begin{equation}\label{eq:3}
  c = d\tag*{[abc]}
\end{equation}

\usetagform{default}
\begin{equation}\label{eq:4}
  e = f
\end{equation}

References: \eqref{eq:1}, \eqref{eq:2}, \ref{eq:3}, \eqref{eq:4}.
\end{document}

以下是截图

Answer