实际很简单，你只需要new一个float就好了，这样定理都放在一个float里你的需求都满足了。
粗略一个示例
\documentclass{article}
\usepackage{amsthm}
\newtheorem{thm}{Theorem}
\usepackage{lipsum}
\usepackage{xcolor}
\usepackage{newfloat}
\DeclareFloatingEnvironment{fthem}
\newenvironment{fthm}{%
\begin{fthem}\begin{thm}
}
{\end{thm}\end{fthem}}
\begin{document}
\lipsum[1-4]
\begin{fthm}[$insts_P^{abs}(expr, ctx), relevant(a_{var}, \omega)$] $\ $\\\label{alg:cell:inst}
\begin{verbatim}
let $insts_P^{abs}$ expr ctx =
let $a_{var}$ = new_variable () in (* We need $a_{var}$ to be unused in expr and ctx*)
let R = relevant $a_{var}$ ($a_{var} = expr \wedge \neg ctx$) in
ler R' = filter (fun e -> e $\ne \top$) R in (*We remove $\top$*)
if R = [] then [(($\bot$, expr[$\bot$]), ())] (*We need $R$ non-empty*)
else map (fun e -> ((e, expr[e]), ())) R
Blabla
\end{verbatim}
Some result about this function
\bigskip
\begin{verbatim}
let relevant $a_{var}$ $\omega$ =
(*We add two parameters that we set in first position
to keep track of full context and visited variables*)
relevant_impl $\omega$ [] $a_{var}$ $\omega$
Blabla
\end{verbatim}
Some result about this function
\end{fthm}
\lipsum[1-3]
\end{document} 简单一点的方法就是 \\[距离] 实用，定义也可以修改公式的间距的，比如
\addtolength{\jot}{1em}但是注意作用域，弄不好，都变了。用括号或者群组包围起来。
另外，求求大家学会用 md 语法，多行代码用三个 ` 上下包裹起来。
图片可以复制粘贴到编辑器里，就可以自动上传也可以展示了。
revtex 模板设计需要认真读他的说明文档，你可以理解为比较封闭的一套模板，实际他的设计蛮好的，但是
我们日常设计使用的宏包直接叠加上去使用，就会异常。
可能是版本原因导致的，建议更新下，命令行管理员执行：
tlmgr update --self --all --reinstall-forcibly-removed提取码不对，网站附件 有大小限制，最好精简一个最小代码比较好。
解决方案一：选自：https://tex.stackexchange.com/questions/16336/add-an-asterisk-in-front-of-section-label-in-toc
\documentclass{book}
\usepackage{tocloft}
\usepackage{lipsum} % for dummy text
\newenvironment{hard}
{\renewcommand{\thesection}{*\thechapter.\arabic{section}}}
{}
% set section numbers in TOC flush right (from the tocloft documentation)
\newlength{\extralen}
\setlength{\extralen}{0.5em} % need some extra space at end of number
\renewcommand{\cftsecpresnum}{\hfill} % note the double ‘l’
\renewcommand{\cftsecaftersnum}{\hspace*{\extralen}}
\addtolength{\cftsecnumwidth}{\extralen}
\begin{document}
\tableofcontents
\chapter{A chapter}
\section{A regular section}\label{easylabel}
In Section~\ref{easylabel} we see\ldots
\lipsum
\begin{hard}
\section{A hard section}\label{hardlabel}
\lipsum
\end{hard}
In Section~\ref{hardlabel} we see\ldots
\end{document}效果图：
解决方案二：莲枝提供：
\usepackage[titles]{tocloft}
\usepackage{etoolbox}
\section{Foo}
\addtocontents{toc}{\protecting{\renewcommand{\cftsubsecpresnum}{\makebox[0pt][r]{$\star$\space}}}}
\subsection{Something something}
\addtocontents{toc}{\protecting{\renewcommand{\cftsubsecpresnum}{}}}效果图：
整体的格式基本差不多了，上下间距在设置字体大小的时候都考虑了。没必要去各种调试。
贴代码要放在代码区里。
我这里没有问题：
看看这里，有详细的名称缩写的格式的说明。
https://www.latexstudio.net/archives/11052.html
下面这个例子，来自 LaTeX 入门：
\vspace{\baselineskip}% 被忽略的高度
\[
\text{实数} \begin{cases}
\text{有理数}\smash[t]{\begin{cases}
\text{整数}\smash{\begin{cases}
\text{奇数} \\ \text{偶数}
\end{cases}}\\
\text{分数}
\end{cases}} \\[4ex]
\text{无理数}\smash[b]{\begin{cases}
\text{代数无理数} \\ \text{超越数}
\end{cases}}
\end{cases}
\]样子如下：
实际就是一个命令如下，如果你是 texlive 默认自带了，命令行执行如下：
latexdiff old.tex new.tex >output.tex如果命令行或者终端不在tex文件目录则需要添加完整文件path。其中old.tex是修改之前的文件；new.tex是完善之后的文件;
这里输入引用文本符合千万不能忘记 output则为输出差异化tex文件。里面Texlive编译这个输出文件就可以一目了然看到变化了!
加上：
\usepackage{etoolbox}
\makeatletter
\patchcmd{\lsthk@SelectCharTable}{`)}{`]}{}{}
\makeatother
问 如何一键输出或者隐藏答案