fitch
菲奇式自然演绎证明的阴影部分
我正在使用 fitch 包（由 Selinger 教授编写，我相信现在由 Richard Zach 维护）用于教学目的 - - 我猜很多人都这样做。 如果能够用阴影突出显示部分校样，那将非常有帮助。恐怕我真的不知道该怎么做。我知道如何将整个校样放在阴影环境中，例如使用 mdframed 包。 我已经添加了一个用于简单防伪的 MWE，以及一个我希望能够用手绘的框进行遮蔽的图像。 \documentclass{article} \usepackage{fitch} \begin{document} \begin{displaymath} \begin{nd}...
