mailing-list for TeXmacs Users

[François Poulain <address@hidden>]

Le Mon, 02 Dec 2013 19:16:02 -0500,
Kostas Oikonomou <address@hidden> a écrit :

> 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.

If you are right, here is a fix.

François

-- 
François Poulain <address@hidden>
diff --git a/TeXmacs/progs/language/std-symbols.scm b/TeXmacs/progs/language/std-symbols.scm
index 0e6c6e8..707f8b6 100644
--- a/TeXmacs/progs/language/std-symbols.scm
+++ b/TeXmacs/progs/language/std-symbols.scm
@@ -84,7 +84,7 @@
     "=" "<ne>" "<neq>" "<longequal>" "<less>" "<gtr>" "<le>" "<leq>"
     "<prec>" "<preceq>" "<ll>" "<lleq>" "<subset>" "<subseteq>"
     "<sqsubset>" "<sqsubseteq>" "<in>" "<ni>" "<of>"
-    "<ge>" "<geq>" "<succ>" "<succeq>"
+    "<ge>" "<geq>" "<succ>" "<succeq>" "<triangleq>"
     "<gg>" "<ggeq>" "<supset>" "<supseteq>" "<sqsupset>" "<sqsupseteq>"
     "<equiv>" "<nequiv>" "<sim>" "<simeq>" "<asymp>" "<approx>" "<cong>"
     "<subsetsim>" "<supsetsim>" "<doteq>" "<propto>" "<varpropto>"
@@ -539,7 +539,7 @@
     "<pitchfork>" "<rightthreetimes>"
     "<smallfrown>" "<smallsmile>" "<sphericalangle>"
     "<square>" "<therefore>" "<thorn>" "<triangledown>"
-    "<triangleq>" "<ulcorner>" "<urcorner>" "<varkappa>"
+    "<ulcorner>" "<urcorner>" "<varkappa>"
     "<varnothing>" "<vartriangle>" "<veebar>" "<yen>")
 
   (define Spacing-visible-symbol