![itemize/enumerate 中的定理与项目符号不一致](https://linux22.com/image/440804/itemize%2Fenumerate%20%E4%B8%AD%E7%9A%84%E5%AE%9A%E7%90%86%E4%B8%8E%E9%A1%B9%E7%9B%AE%E7%AC%A6%E5%8F%B7%E4%B8%8D%E4%B8%80%E8%87%B4.png)
我开始使用amsthm
和列举一些自定义定理环境的项目符号thmtools
。以下是未对齐的示例以及代码。
请注意提供的“证明”环境如何amsthm
完美运行(为什么?)。另外,请注意,自定义amsthm
“定理”环境最初不对齐,但在应用描述的标准修复后完美对齐这个答案最后,观察自定义的thmtools
“反例”环境也没有对齐,即使应用上述修复后也是如此(间距有些不同)。
这是预期的行为吗?如果是,我想知道为什么这些环境和枚举之间会出现这种行为。如果不是,你会建议下一步怎么做?此外,为什么“证明”环境可以完美运行?
\documentclass[12pt]{article}
\usepackage[margin=1in]{geometry}
\usepackage{amsthm, thmtools}
\newtheoremstyle{thmstyle}
{}{}%
{}{}%
{\bfseries}{.}%
{1em}%
{\thmnote{#3}}
\theoremstyle{thmstyle}
\newtheorem*{thm}{}
\declaretheoremstyle[
headfont=\normalfont\bfseries,
headpunct={.},
postheadspace=1em,
qed=\qedsymbol,
numbered=no,
]{mystyle}
\declaretheorem[style=mystyle, name=Counterexample]{counterexample}
\newcommand{\modulo}[1]{\ (\mathrm{mod}\ #1)}
\begin{document}
\begin{itemize}
% uncomment below to fix
\item % \leavevmode\vspace{-\dimexpr \baselineskip + \topsep}
\begin{thm}[Theorem]
Prove or disprove that if $a^2 \equiv b^2 \modulo m$, then
$a \equiv b$ or $-b \modulo m$.
\end{thm}
% the above fix doesn't quite work here
\item \begin{counterexample}
some text
some text
\end{counterexample}
\item \begin{proof}
some text
some text
\end{proof}
\end{itemize}
\end{document}