First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] New symbols


Chronological Thread 
  • 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.

Top of page