Re: [Texmacs-dev] rtimes,ltimes and nmid

[Joris van der Hoeven]

On Thu, Nov 17, 2005 at 09:12:48AM -0800, address@hidden wrote:
> > 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.
> 
> I have now completed such a search. Here is a list
> of symbols defined in amssymb.sty that TeXmacs is
> able to display correctly, but does not export in latex:
> 
> rtimes ltimes nmid lvertneqq gvertneqq nleq ngeq
> lneqq gneqq lneq gneq precnsim succnsim lnsim
> gnsim nleqq ngeqq precneqq succneqq precnapprox
> succnapprox lnapprox gnapprox nsim ncong
> nsubseteqq nsupseteqq subsetneqq supsetneqq
> varsubsetneqq varsupsetneqq subsetneq supsetneq
> nsubseteq nsupseteq nparallel nshortparallel
> nvdash nVdash nvDash nVDash ntriangleleft
> ntriangleright nleftarrow nrightarrow nLeftarrow
> nRightarrow nLeftrightarrow nleftrightarrow
> divideontimes nexists Finv Game eqsim beth gimel
> daleth lessdot gtrdot shortmid shortparallel
> smallsetminus thicksim thickapprox approxeq
> succapprox precapprox curvearrowleft
> curvearrowright digamma varkappa Bbbk hslash
> backepsilon
> 
> Here is a shorter list of symbols that are
> declared in amssymb.sty that TeXmacs does not display:
> 
> risingdotseq fallingdotseq bigstar vartriangle
> blacktriangle varpropto smallsmile smallfrown
> circleddash diagup diagdown nshortmid
> ntrianglerighteq ntrianglelefteq eth

Thanks for the detailed lists.
I made the necessary corrections for the next version.

Best wishes, Joris