mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

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