texmacs-users - Re: [TeXmacs] The \doteq symbol

Subject: mailing-list for TeXmacs Users

List archive

Re: [TeXmacs] The \doteq symbol

From: Kemal Ilgar Eroglu <address@hidden>
To: Texmacs Users <address@hidden>
Subject: Re: [TeXmacs] The \doteq symbol
Date: Mon, 26 Mar 2012 03:37:07 -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; b=sf+uiTIMJ48ktEh6D5x4QGQJJh3m8TK1O59k4bliQjoh5ODPVNQz531DlmowPVatCYXrCBGv0Bh8u4XMOHfeLlp5vGdRTGuuz5rQX5xFgdsQzXE4ekWpPM0wED2cPZTCjntE/ZGKqXS2C0QPuQ7afc4sYLh+0rAjhh0mD86C7HM=;

(I accidentally sent my previous reply to Martial only, sorry about that)

Because:

1) I didn't know about it :)

2) It doesn't seem practical (this was before I saw Lukasz's post)

3) The doteq/shortcut was already there in TeXmacs, it was just that the (virtual) font wasn't defined.

4) I actually bumped into this while doing a LaTeX import. So TeXmacs should really know what to do with \doteq to do a proper import.

Best,

Ilgar

From: Lukasz Stafiniak <address@hidden>
To: address@hidden
Cc: Kemal Ilgar Eroglu <address@hidden>
Sent: Monday, March 26, 2012 12:32 PM
Subject: Re: [TeXmacs] The \doteq symbol

On Mon, Mar 26, 2012 at 12:21 PM, Martial <address@hidden> wrote:
> Hello,
>
> why not <wide|=|<dot>> (equal sign with a dot accent above it) ?

That's what I'm using as well. And it's easy to enter: A-. =

Re: [TeXmacs] 1.0.7.15 make install error, (continued)

List archive

Re: [TeXmacs] The \doteq symbol