Hi,
I have a latex-fragment like so
#+LATEX_HEADER: \usepackage{bussproofs}
#+OPTIONS: tex:dvipng
\begin{prooftree}
\AxiomC{}
\LeftLabel{(fn)}
\UnaryInfC{$\text{Env}\vdash C(\text{Env}', \text{fn } x \ \Rightarrow\
E_1)\ v \ \to\ \text{Env},\text{Env}',(x,v)\vdash E_1$}
\end{prooftree}
when
E.g. the following snippet produces multiple lines of output, due to
pretty-printing
#+BEGIN_SRC ocaml :exports code :eval no-export :results verbatim
(* Note, no need to have parentheses around sqrt, as
application binds the tightest *)
let rec gamma n = if n = 0
then (1.0 +.