I was able to get coqdoc to print forall as Π, using (** printing forall %Π% #Π# *). However, it is a pain to add the description to all the files. Is it possible to do that for all files with just one setting?
Note that I have to use -utf8, because I am writing a document with characters that are not part of ASCII. That may have something to do with it.
与恶龙缠斗过久,自身亦成为恶龙；凝视深渊过久,深渊将回以凝视…
