实际很简单，你只需要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 模板设计需要认真读他的说明文档，你可以理解为比较封闭的一套模板，实际他的设计蛮好的，但是
我们日常设计使用的宏包直接叠加上去使用，就会异常。

看看这里：https://www.latexstudio.net/index/details/index/mid/420.html

可能是版本原因导致的，建议更新下，命令行管理员执行：

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

看看这里：https://tex.stackexchange.com/questions/73795/problem-with-literate-and-breaklines-true-in-listings-package

编译命令，排版引擎都有。