mailing-list for TeXmacs Users

[Kostas Oikonomou <address@hidden>]

Francois, Joris, thank you very much.
Joris, is your fix the same as what Francois posted?

                    Kostas

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