如何解决如何在 coqdoc 的一次性设置中将“forall”打印为“Π”?
我能够让 coqdoc 使用 forall
将 Π
打印为 (** printing forall %Π% #Π# *)
。但是,将描述添加到所有文件是一种痛苦。是否可以仅通过一种设置对所有文件执行此操作?
请注意,我必须使用 -utf8
,因为我正在使用不属于 ASCII 的字符编写文档。这可能与此有关。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。