From mboxrd@z Thu Jan  1 00:00:00 1970
From: Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com>
Subject: Re: AUCTeX key bindings within Org documents
Date: Sat, 05 Oct 2013 08:10:28 +0200
Message-ID: <87vc1cgsdn.fsf@gmail.com>
References: <86zjqyse63.fsf@somewhere.org>      <8738oq4gc6.fsf@yahoo.fr>
	<86a9ixgy5b.fsf@somewhere.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:59724)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <joseph.vidal.rosset@gmail.com>) id 1VSL4Z-0004Pn-R2
	for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 02:10:40 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <joseph.vidal.rosset@gmail.com>) id 1VSL4Y-0002pa-LA
	for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 02:10:39 -0400
Received: from mail-wi0-x230.google.com ([2a00:1450:400c:c05::230]:58539)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <joseph.vidal.rosset@gmail.com>) id 1VSL4Y-0002pL-7u
	for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 02:10:38 -0400
Received: by mail-wi0-f176.google.com with SMTP id cb5so2607866wib.9
	for <emacs-orgmode@gnu.org>; Fri, 04 Oct 2013 23:10:36 -0700 (PDT)
In-Reply-To: <86a9ixgy5b.fsf@somewhere.org> (Fabrice Niessen's message of
	"Sat, 28 Sep 2013 10:15:28 +0200")
List-Id: "General discussions about Org-mode." <emacs-orgmode.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-orgmode>
List-Post: <mailto:emacs-orgmode@gnu.org>
List-Help: <mailto:emacs-orgmode-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=subscribe>
Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
To: Fabrice Niessen <fni-news@pirilampo.org>
Cc: emacs-orgmode@gnu.org

Hello Fabrice, Hi everybody,

Thanks a lot Fabrice for your  package to get AUCTeX key binginds within
Org documents.=20

Maybe I  do not  use it correctly  by I  want to point  out to  you some
unwanted results:=20

#+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}=20

and of course it does not work.=20

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.  ?=20

In advance, thanks for your help.=20

Jo.=20

--=20
Joseph Vidal-Rosset
Archives Poincar=C3=A9=20
91, Bd. Lib=C3=A9ration
BP 454=20
F-54001 NANCY Cedex

Site web: http://www.philfree.org
Google Talk - MSN login: joseph.vidal.rosset@gmail.com