[Top][All Lists]

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

[Texmacs-dev] notin

From: bump
Subject: [Texmacs-dev] notin
Date: Thu, 24 Nov 2005 08:37:01 -0800

Here is a file illustrating that notin is not correctly
exported into latex by TeXmacs

A patch is included at the end that fixes this. This
includes the patch I previously submitted for
nmid, rtimes and ltimes, but not the other broken
amssymb symbols I found. See:


Daniel Bump





--- latex-drd.scm.bak   2005-11-17 06:26:30.000000000 -0800
+++ latex-drd.scm       2005-11-24 08:44:00.406660400 -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 notin
   ;; 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]