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

Text archives Help


Re: [TeXmacs] binary relation "triangleq"


Chronological Thread 
  • From: François Poulain <address@hidden>
  • To: address@hidden
  • Cc: Kostas Oikonomou <address@hidden>
  • Subject: Re: [TeXmacs] binary relation "triangleq"
  • Date: Tue, 3 Dec 2013 09:26:14 +0100
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

Archive powered by MHonArc 2.6.19.

Top of page