From mboxrd@z Thu Jan  1 00:00:00 1970
From: Nicolas Richard <theonewiththeevillook@yahoo.fr>
Subject: Re: AUCTeX key bindings within Org documents
Date: Sat, 05 Oct 2013 22:52:40 +0200
Message-ID: <87txgvh23r.fsf@yahoo.fr>
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: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:57670)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <theonewiththeevillook@yahoo.fr>) id 1VSYqN-0006LW-5s
	for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 16:53:02 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <theonewiththeevillook@yahoo.fr>) id 1VSYqF-00034j-Sh
	for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 16:52:55 -0400
Received: from mxin.ulb.ac.be ([164.15.128.112]:25211)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <theonewiththeevillook@yahoo.fr>) id 1VSYqF-00034V-MP
	for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 16:52:47 -0400
In-Reply-To: <87vc1cgsdn.fsf@gmail.com> (Joseph Vidal-Rosset's message of
	"Sat, 05 Oct 2013 08:10: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: Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com>
Cc: Fabrice Niessen <fni-news@pirilampo.org>, emacs-orgmode@gnu.org

Hello Joseph,

Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com> writes:
> #+begin_equation
>  \label{ECQ}
> \neg A , A \vdash B
> \tag{ECQ}
> #+end_equation

IIUC, auckeys mode is not meant to insert latex constructs in org mode,
but to get an "org equivalent" or org-like effect for a given key chord.
The aim is to produce a classical org mode file, not a LaTeX only org
mode file.

> 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 never managed to do that in pure org mode : I sometimes write the
outline in org but at some point I export to latex and go on from there.
I'm so much more comfortable in auctex and latex, I have no plan to try
doing everything in org mode.

-- 
Nico.