mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

Hi,

This symbol does not exist in the standard fonts.
You have to add an entry for it in the virtual font file
TeXmacs/fonts/virtual/misc.vfn

I did so. Best wishes, --Joris

On Fri, Mar 23, 2012 at 03:14:48PM -0700, Kemal Ilgar Eroglu wrote:
> 
> 
> 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
>