如何打印&x27；forall'；as'Π'；在coqdoc的一次性设置中？

我能够让coqdoc使用

（**printing forall%∏%#∏%##*）

将

forall

打印为

的

。然而，将描述添加到所有文件中是一件痛苦的事情。是否可以只使用一个设置对所有文件执行此操作

请注意，我必须使用

-utf8

，因为我编写的文档中的字符不是ASCII的一部分。这可能与此有关