答案1
很简单,使用etoolbox
:
\documentclass[ngerman]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{babel}
\usepackage{amsthm, amssymb}%
\usepackage{etoolbox}
\usepackage{lipsum}
\theoremstyle{plain}
\newtheorem{lemma}{Lemma}
\BeforeBeginEnvironment{lemma}{\par\hangindent=2.5em}
\AfterEndEnvironment{lemma}{\par}
\begin{document}
\setcounter{lemma}{2}
\lipsum[2]
\begin{lemma}
Sei $\mathcal{M}_{μ}$ die Familie der $\mu$-meßbaren Teilmengen von $X$. Dann ist $\mathcal{M}_{μ}$ eine $\sigma$-Algebra über $X$, und $\mu$ eingeschränkt auf $\mathcal{M}_{μ}$ ist ein (positives) Maß auf $\mathcal{M}_{μ}$.
\end{lemma}
\lipsum[3]
\end{document}