这个奇特的定理环境是什么？

Question

我正在尝试重新制作这个奇特的定理/定义/引理环境，但我无从下手。这是一个已知的包还是自制的重新设计？

Answer 1

检查thmbox包裹，手动的包含几个例子，但为了完整性，我附加了一个 MWE。

\documentclass{article}

\usepackage{thmbox}

\newtheorem[M]{proposition}{Proposition}[section]

\begin{document}
\begin{proposition}
  Let $M$ be a martingale, then $(\phi(M_t))_{t \geq 0}$ is a
  sub-martingale for all convex functions $\phi$ such that $\phi(M_t)$
  is integrable for all $t$.
\end{proposition}

\begin{proof}
  This follows from Jensen's inequality for conditional expectations,
  see any standard text book on this subject.
\end{proof}

\end{document}

请注意，证明环境也被重新定义。还有两种额外的样式 L 和 S。该包相当旧，可能存在分页问题。因此，正如评论所建议的那样，在另一个包中实现该样式可能是一个更好的解决方案——这个答案在强大的包中实现了M风格tcolorbox。