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") _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
