emacs-orgmode@gnu.org archives
 help / color / mirror / code / Atom feed

From: Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com>
To: Bastien <bzg@gnu.org>
Cc: "Liste-emacs-orgmode@gnu.org " <emacs-orgmode@gnu.org>
Subject: Re: Texlive packages in Gnus via Org
Date: Thu, 09 Jan 2014 13:18:53 +0100	[thread overview]
Message-ID: <8761ptjqky.fsf@gmail.com> (raw)
In-Reply-To: <87ha9djt4t.fsf@gmail.com> (Joseph Vidal-Rosset's message of "Thu, 09 Jan 2014 12:23:46 +0100")

[-- Attachment #1: Type: text/plain, Size: 345 bytes --]

#+OPTIONS: latex:t
#+LATEX_HEADER: \usepackage{bussproofs}

Maybe by adding  in headers LaTex Header  in the style of a  org file it
could work

\begin{prooftree}
\AxiomC{$A$}
\AxiomC{$A \to \bot$}
\RightLabel{\scriptsize{$\to E$}}
\BinaryInfC{$\bot$}
\end{prooftree}


it works !!!

Thanks a lot Bastien, you are a genius !

Best wishes,

Jo. 

[-- Attachment #2.1: Type: text/html, Size: 494 bytes --]

[-- Attachment #2.2: latex6879Y5X_5a473d324e2f0d6a44d1ea34bd1a35a78bf357d7.png --]
[-- Type: image/png, Size: 548 bytes --]

next prev parent reply	other threads:[~2014-01-09 12:19 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-01-09 10:04 Texlive packages in Gnus via Org Joseph Vidal-Rosset
2014-01-09 10:49 ` Bastien
2014-01-09 11:18   ` Joseph Vidal-Rosset
2014-01-09 11:23     ` Joseph Vidal-Rosset
2014-01-09 12:18       ` Joseph Vidal-Rosset [this message]
2014-01-09 12:35         ` Joseph Vidal-Rosset

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.orgmode.org/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=8761ptjqky.fsf@gmail.com \
    --to=joseph.vidal.rosset@gmail.com \
    --cc=bzg@gnu.org \
    --cc=emacs-orgmode@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).