我有一个来自命题的枚举列表，我想将其放入显示数学样式（因此并集和交集符号上的下标位于这些符号下方而不是旁边），并将编号保持在左侧。这是我目前拥有的：
\documentclass[12pt,a4paper,oneside]{report}
\usepackage[left=2.00cm,right=2.00cm,top=2.45cm,bottom=2.5cm]{geometry}
\usepackage{amsmath,amssymb,amscd,amstext}
\usepackage{color,epsfig,fancyhdr,fleqn,latexsym,multicols,slashed}
\usepackage[thmmarks]{ntheorem}
\usepackage{tikz, subfigure}
\usepackage{verbatim}
\theoremstyle{marginbreak}
\theoremheaderfont{\normalfont\bfseries}\theorembodyfont{\slshape}
\theoremsymbol{\ensuremath{\diamondsuit}}
\theoremseparator{:}
\newtheorem{Proposition}{Proposition}
\begin{document}
\begin{Proposition}
Let $\mathcal{A} \eqdef \{A_{\alpha}|\alpha \in \Delta\}$ be an indexed family of sets. Then
\begin{enumerate}
\item $\bigcap_{\alpha \in \Delta} \, A_\alpha \subseteq A_{\beta}$ for each $\beta \in \Delta.$
\item $A_\beta \subseteq \bigcup_{\alpha \in \Delta} \, A_{\alpha}$ for each $\beta \in \Delta.$
\end{enumerate}
\end{Proposition}
\end{document}
谢谢。
答案1
您可以使用\limits，但这可能会产生（取决于周围的文本）不一致的行距：
\documentclass[12pt,a4paper,oneside]{report}
\usepackage[left=2.00cm,right=2.00cm,top=2.45cm,bottom=2.5cm]{geometry}
\usepackage{amsmath,amssymb,amscd,amstext}
\usepackage{color,epsfig,fancyhdr,fleqn,latexsym,multicol,slashed}
\usepackage[thmmarks]{ntheorem}
\usepackage{tikz, subfigure}
\usepackage{verbatim}
\newcommand\eqdef{=}
\theoremstyle{marginbreak}
\theoremheaderfont{\normalfont\bfseries}\theorembodyfont{\slshape}
\theoremsymbol{\ensuremath{\diamondsuit}}
\theoremseparator{:}
\newtheorem{Proposition}{Proposition}
\begin{document}
\begin{Proposition}
Let $\mathcal{A} \eqdef \{A_{\alpha}|\alpha \in \Delta\}$ be an indexed family of sets. Then
\begin{enumerate}
\item $\bigcap\limits_{\alpha \in \Delta} \, A_\alpha \subseteq A_{\beta}$ for each $\beta \in \Delta.$
\item $A_\beta\subseteq \bigcup\limits_{\alpha \in \Delta} \, A_{\alpha}$ for each $\beta \in \Delta.$
\end{enumerate}
\end{Proposition}
\end{document}
我使用了“假”定义，\eqdef因为您没有在示例代码中提供它。顺便说一句，包是multicol而不是multicols；请在您的序言中修复这个问题。