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-. =
Archive powered by MHonArc 2.6.19.