mailing-list for TeXmacs Users

[Martial <address@hidden>]

Hello,

why not <wide|=|<dot>> (equal sign with a dot accent above it) ?

Martial Tarizzo

Le vendredi 23 mars 2012 à 15:14 -0700, Kemal Ilgar Eroglu a écrit :
> 
> Hi all,
> 
> I'm trying to obtain the LaTeX symbol \doteq in Texmacs (equal sign with a 
> dot over it). It is indeed known to TeXmacs, with the keyboard shortcut ". 
> =", as expected. However when I type in the shortcut TeXmacs displays the 
> text"<doteq>" in red, instead of the symbol itself. I realized that in the 
> file 
> 
> 
> src/TeXmacs/langs/encoding/tmuniversaltounicode.scm
> 
> 
> the line relevant to doteq is commented out:
> 
> ; <doteq>        "#2250"
> 
> But even un-commenting (and reinstalling) doesn't make any difference. Does 
> anyone have an idea what is wrong here? Could my fonts be missing the 
> symbol? Thanks,
> 
> Ilgar
>