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, 5 Oct 2013 23:22:38 +0200
Message-ID: <CAD-VTcF9obRNicEDvc46gG7uLBmh1SrvOuX9sfzJDhVYaPcxHA@mail.gmail.com>
References: <86zjqyse63.fsf@somewhere.org> <8738oq4gc6.fsf@yahoo.fr>
	<86a9ixgy5b.fsf@somewhere.org> <87vc1cgsdn.fsf@gmail.com>
	<87txgvh23r.fsf@yahoo.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:32800)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <joseph.vidal.rosset@gmail.com>) id 1VSZJW-0001DW-9I
	for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 17:23:03 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <joseph.vidal.rosset@gmail.com>) id 1VSZJV-0002b0-1K
	for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 17:23:02 -0400
Received: from mail-we0-x234.google.com ([2a00:1450:400c:c03::234]:47842)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <joseph.vidal.rosset@gmail.com>) id 1VSZJU-0002an-Qb
	for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 17:23:00 -0400
Received: by mail-we0-f180.google.com with SMTP id q59so5221813wes.11
	for <emacs-orgmode@gnu.org>; Sat, 05 Oct 2013 14:22:59 -0700 (PDT)
In-Reply-To: <87txgvh23r.fsf@yahoo.fr>
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: Nicolas Richard <theonewiththeevillook@yahoo.fr>
Cc: Fabrice Niessen <fni-news@pirilampo.org>, emacs-orgmode list <emacs-orgmode@gnu.org>

Thanks Nicolas, your reply is helpful for me .

Best wishes,

Jo.

2013/10/5 Nicolas Richard <theonewiththeevillook@yahoo.fr>:
> 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.