From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Fabrice Niessen" Subject: Re: AUCTeX key bindings within Org documents Date: Sat, 05 Oct 2013 09:58:35 +0200 Message-ID: <86fvsgb13o.fsf@somewhere.org> References: <86zjqyse63.fsf@somewhere.org> <8738oq4gc6.fsf@yahoo.fr> <86a9ixgy5b.fsf@somewhere.org> <87vc1cgsdn.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain Return-path: List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org-mXXj517/zsQ@public.gmane.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org-mXXj517/zsQ@public.gmane.org To: emacs-orgmode-mXXj517/zsQ@public.gmane.org Hi Joseph, Joseph Vidal-Rosset wrote: > Thanks a lot Fabrice for your package to get AUCTeX key binginds within > Org documents. You're welcome. Still a work in progress -- have to address the points of Nicolas, Suvayu and Marcin, among others. > Maybe I do not use it correctly by I want to point out to you some > unwanted results: > > #+begin_equation > \label{ECQ} > \neg A , A \vdash B > \tag{ECQ} > #+end_equation > > exported in LaTeX is translated in .tex file: > > \begin{equation} > \label{ECQ} > $\neg{}$ A , A \vdash B > \tag{ECQ} > \end{equation} > > and of course it does not work. > > My question is therefore more general: how writing scienfific papers in > org-mode documents i.e. how writing useful environments like equation, > bussproofs, fitch, etc. every useful package for logicians, > mathematicians, etc. ? I don't have experience with mathematics in Org nor in LaTeX. The problem you point out does not seem to be related in any way to org-auctex-keys.el, though. Could you try different variations of your code: all the "inside" code on one line, or all lines with indentation (I see that \neg is not indented), or... and see whether some work. This should anyway be reported as a separate problem from the AUCTeX key bindings. Best regards, Fabrice -- Fabrice Niessen Leuven, Belgium