Subject: mailing-list for TeXmacs Users
List archive
From : François Poulain <address@hidden>- To: address@hidden
- Subject: Re: [TeXmacs] New symbols
- Date: Wed, 12 Feb 2014 14:52:13 +0100
Hi,
Le Mon, 10 Feb 2014 20:45:43 +0200,
Victor Porton <address@hidden> a écrit :
> I propose to add new symbols to the TeXmacs core:
>
> \nsqsubseteq
> \nsqsupseteq
> \nsqsubset
> \nsqsupset
Actually they already are in the core, but not in the menu. It could be
a good game to harmonize and complete the binary-relation-menu and the
negation-menu. Are you keen to do it?
See TeXmacs/progs/math/math-menu.scm for more infos.
François
--
François Poulain <address@hidden>
- [TeXmacs] New symbols, Victor Porton, 02/10/2014
- Re: [TeXmacs] New symbols, François Poulain, 02/12/2014
Archive powered by MHonArc 2.6.19.