mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Tue, Dec 03, 2013 at 01:19:35PM -0500, Kostas Oikonomou wrote:
> Francois, Joris, thank you very much.
> Joris, is your fix the same as what Francois posted?

Not exactly; as I said, I corrected various other symbols.  --Joris


> On 12/03/2013 04:44, Joris van der Hoeven wrote:
> > On Mon, Dec 02, 2013 at 07:16:02PM -0500, Kostas Oikonomou wrote:
> >> I see.  However, that doesn't solve the problem I posted about.
> >>
> >> It's not a question of me typing commands to do what I want, \triangleq
> >> is a standard TeXmacs symbol that TeXmacs does not handle correctly.
> > I fixed it, as well as similar problems for a couple of other symbols.
> >
> > As a matter of fact, it would be very useful if someone would have the 
> > time
> > to go over the entire set of TeXmacs symbols while checking that the 
> > symbol
> > is correctly supported (right type for spacing, right Unicode equivalent,
> > right LaTeX import/export, etc.).  There are also some Unicode math 
> > symbols
> > which are missing in TeXmacs.  If someone would have the time to add
> > appropriate virtual characters for them, then that would also be
> > a very useful contribution.
> >
> > Best wishes, --Joris