[Texmacs-dev] rtimes,ltimes and nmid

[bump]

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

<TeXmacs|1.0.5.12>

<style|generic>

<\body>
  <\equation*>
    G\<ltimes\>H<space|2em>G\<rtimes\>H<space|2em>n\<nmid\>m
  </equation*>
</body>

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



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