逻辑公式测试

这是一个测试页面。

模态逻辑示例

我们验证以下公式是否显示正常：

\Box (p \to q) \to (\Box p \to \Box q)

如果这行公式显示为数学符号，说明配置成功。