[Texmacs-dev] notin

[bump]

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

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:

http://lists.gnu.org/archive/html/texmacs-dev/2005-11/msg00057.html
http://lists.gnu.org/archive/html/texmacs-dev/2005-11/msg00058.html

Daniel Bump

<TeXmacs|1.0.5.12>

<style|generic>

<\body>
  <\equation*>
    x\<notin\>S
  </equation*>
</body>

<\initial>
  <\collection>
    <associate|page-type|letter>
  </collection>
</initial>


--- 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")