Zhaocong Jia
2017-10-13 01:22:23 UTC
Some chars can't be displayed in roman font (texmacs
computer modern), it can be displayed in other fonts like
STIX. This bugs happens in trunk version, 1.99.5, 1.0.7.21.
<TeXmacs|1.99.5>
<style|generic>
<\body>
\<epsilon\> \<vartheta\> \<varpi\> \<varrho\> \<#3F5\>
</body>
<initial|<\collection>
</collection>>
computer modern), it can be displayed in other fonts like
STIX. This bugs happens in trunk version, 1.99.5, 1.0.7.21.
<TeXmacs|1.99.5>
<style|generic>
<\body>
\<epsilon\> \<vartheta\> \<varpi\> \<varrho\> \<#3F5\>
</body>
<initial|<\collection>
</collection>>