[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
<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")
- [Texmacs-dev] rtimes,ltimes and nmid,
bump <=