不使用 Mathpartir 软件包编写推理规则的方法

Question

在 mac pages 应用程序中，似乎我们无法在插入等式时安装软件包，因此我希望继续使用 mac pages 作为我的“工作背景”，我想问一下是否有任何方法可以在不使用软件包的情况下插入诸如肯定前件之类的推理规则。