решение1
Вы можете поиграть с интервалом:
\documentclass{article}
\usepackage{xcolor,amsmath}
\DeclareMathOperator{\suc}{Suc}
\begin{document}
By applying rule~2 (\texttt{apply\_rupple\_step}), the left hand side of the step-case is rippled to:
\[
\colorbox{orange}{\strut
case $b'$ of $0 \Rightarrow (\suc a) \mid (\suc z) \Rightarrow \suc(\colorbox{white}{$\max a \lfloor z \rfloor$})$%
}
{} = \max \lfloor b' \rfloor
\colorbox{orange}{\strut
$\suc \colorbox{white}{a}$%
}
\]
\end{document}
В конечном итоге вы можете просто использовать \colorbox{<color>}{<stuff>}
для выделения контента. Я добавил, \strut
чтобы обеспечить постоянную базовую высоту результирующего цветного поля, а также использовать текст там, где это казалось необходимым. Обратите внимание, что <stuff>
внутри a \colorbox
установлен текстовый режим.