texmacs-users - [TeXmacs] The \doteq symbol

Subject: mailing-list for TeXmacs Users

List archive

[TeXmacs] The \doteq symbol

From: Kemal Ilgar Eroglu <address@hidden>
To: "address@hidden" <address@hidden>
Subject: [TeXmacs] The \doteq symbol
Date: Fri, 23 Mar 2012 15:14:48 -0700 (PDT)
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=BtTPMXiF1GoNDAY2ZtABCz9eEu/0W4cUGaHgIwyw4DMPoPCJptntZIx5TJKuIyR8NTW1MAxobYWaVHCa9Ef9JoVAn4xc7jgdXGF8la6oc2K8EVReNVfI6dfEfFQyr+hsfq95N3aAwtGfsYGxNStfH6Xlvn2J8S31V3PBEI1tO6I=;

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

[TeXmacs] Accents in spanish, Germán Arias, 03/16/2012
- Re: [TeXmacs] Accents in spanish, Adrian S., 03/16/2012
  - Re: [TeXmacs] Accents in spanish, Germán Arias, 03/16/2012
    - Re: [TeXmacs] Accents in spanish, Adrian S., 03/16/2012
      - [TeXmacs] 1.0.7.15 make install error, Kemal Ilgar Eroglu, 03/17/2012
        
        Re: [TeXmacs] 1.0.7.15 make install error, Joris van der Hoeven, 03/18/2012
        
        Re: [TeXmacs] 1.0.7.15 make install error, Kemal Ilgar Eroglu, 03/18/2012
        
        Re: [TeXmacs] 1.0.7.15 make install error, Joris van der Hoeven, 03/18/2012
        [TeXmacs] The \doteq symbol, Kemal Ilgar Eroglu, 03/23/2012
        Re: [TeXmacs] The \doteq symbol, Joris van der Hoeven, 03/23/2012
        Re: [TeXmacs] The \doteq symbol, Kemal Ilgar Eroglu, 03/23/2012
        
        Re: [TeXmacs] The \doteq symbol, Friedrich LAHER, 03/26/2012
        Re: [TeXmacs] The \doteq symbol, Kemal Ilgar Eroglu, 03/26/2012
        
        Re: [TeXmacs] The \doteq symbol, Martial, 03/26/2012
        Re: [TeXmacs] The \doteq symbol, Lukasz Stafiniak, 03/26/2012
        Re: [TeXmacs] The \doteq symbol, Kemal Ilgar Eroglu, 03/26/2012

List archive

[TeXmacs] The \doteq symbol