[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Joris van der Hoeven
Subject: Re: [Texmacs-dev] rtimes,ltimes and nmid
Date: Sat, 26 Nov 2005 15:14:53 +0100
User-agent: Mutt/1.5.9i

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]