[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Texmacs-dev] rtimes,ltimes and nmid

From: bump
Subject: [Texmacs-dev] rtimes,ltimes and nmid
Date: Thu, 17 Nov 2005 06:47:59 -0800

Three amssymb symbols that do not export correctly are
rtimes, ltimes and nmid. 

This patch to latex-drd.scm corrects the problem
and the short .tm file shows the need for the patch. 

I didn't systematically look for other such symbols.

Daniel Bump





--- latex-drd.scm.bak   2005-11-17 06:26:30.963341832 -0800
+++ latex-drd.scm       2005-11-17 06:59:38.311219032 -0800
@@ -203,7 +203,7 @@
   pm mp times div ast star circ bullet cdot
   cap cup uplus sqcap sqcup vee wedge setminus wr
   diamond triangleleft triangleright
-  oplus ominus otimes oslash odot bigcirc amalg
+  oplus ominus otimes oslash odot bigcirc amalg rtimes ltimes nmid
   ;; Relations
   leq le geq ge equiv models prec
@@ -299,6 +299,9 @@
   (theorembodyfont "theorem")
   (Diamond "amssymb")
+  (ltimes "amssymb")
+  (rtimes "amssymb")
+  (nmid "amssymb")
   (text "amsmath")
   (dddot "amsmath")
   (ddddot "amsmath")

reply via email to

[Prev in Thread] Current Thread [Next in Thread]