mailing-list for TeXmacs Users

[Kemal Ilgar Eroglu <address@hidden>]

Thanks for the super-fast fix!

Best,
Ilgar



----- Original Message -----
> From: Joris van der Hoeven <address@hidden>
> To: address@hidden
> Cc: 
> Sent: Saturday, March 24, 2012 12:36 AM
> Subject: Re: [TeXmacs] The \doteq symbol
> 
> 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
>> 
>