mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] The \doteq symbol


Chronological Thread 
  • From: Martial <address@hidden>
  • To: Kemal Ilgar Eroglu <address@hidden>
  • Cc: "address@hidden" <address@hidden>
  • Subject: Re: [TeXmacs] The \doteq symbol
  • Date: Mon, 26 Mar 2012 12:21:50 +0200

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
>





Archive powered by MHonArc 2.6.19.

Top of page