设置两个特定项目之间的垂直间距

Question

请考虑以下列表：

There is a $(K_n)_{n\in\mathbb N}\subseteq E$ with
\begin{itemize}
    \item $K_n$ is compact;
    \item $K_n\subseteq\overset\circ K_{n+1}$; and
    \item $d(\partial K_n,\partial K_{n+1})>0$
\end{itemize}
for all $n\in\mathbb N$.

这渲染效果不太好：

第一个和第二个项目之间的垂直空白太多（由于 K 上方的圆圈）。我想将这两个项目之间的垂直间距设置为 0pt，但我只知道如何设置所有项目之间或从特定项目开始的所有项目之间的垂直间距。

那么，我们该怎么做呢？或者你会推荐其他解决方案吗？也许最好只使用列表内不垂直延伸的符号。这通常是怎么做的？你改用 $K^\circ$ 吗？还是 $\operatorname{int} K$？我不喜欢后者，我对 $K^\circ$ 的问题是它与我文档中使用 $\overset\circ K$ 的其他情况不一致。

Answer 1

您可以使用\smash{\overset\circ K_{n+1}}来隐藏该元素的高度。

\documentclass[a4paper]{article}
\usepackage{amsmath,amssymb}
\newtheorem{theorem}{Theorem}[section]
\begin{document}

\begin{theorem}
There is a $(K_n)_{n\in\mathbb N}\subseteq E$ with
\begin{itemize}
    \item $K_n$ is compact;
    \item $K_n\subseteq\smash{\overset\circ K_{n+1}}$; and
    \item $d(\partial K_n,\partial K_{n+1})>0$
\end{itemize}
for all $n\in\mathbb N$.
\end{theorem}

\end{document} 

Answer 2

如果你使用重音，就不会有这个问题\mathring：

\documentclass[a4paper]{article}
\usepackage{amsmath,amssymb}
\newtheorem{theorem}{Theorem}[section]

\begin{document}

\begin{theorem}
There is a $(K_n)_{n\in\mathbb N}\subseteq E$ with
\begin{itemize}
    \item $K_n$ is compact;
    \item $K_n\subseteq \ring{K}_{n+1} $; and
    \item $d(\partial K_n,\partial K_{n+1})>0$
\end{itemize}
for all $n\in\mathbb N$.
\end{theorem}

\end{document}