#+OPTIONS: ':t 
#+OPTIONS: tex:t
#+LaTeX_HEADER: \usepackage{venndiagram2}
#+OPTIONS: tex:imagemagick
 # #+HTML_MATHJAX:               align:"center"               mathml:t
 # path:"http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMM"
#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="gongorg.css"/>
#+TITLE:A minimal example
#+AUTHOR: Joseph Vidal-Rosset
#+OPTIONS: toc:2
#+OPTIONS: author:t date:t email:t
#+CSL_STYLE: ieee.csl<


#+BEGIN_src  latex  
\begin{venndiagram2sets}
[tikzoptions={scale=1.6,thick},labelA={$JTB$},labelB={$K$},labelOnlyA={$q$},labelOnlyAB={$p$},showframe={false}] 
\fillOnlyB
\end{venndiagram2sets}
#+END_src

 

#+BEGIN_src  latex  
\begin{table}[htbp] 
\caption{Légende} \label{tableone}
\begin{venndiagram3sets}[tikzoptions={scale=2.8,thick},labelOnlyA={\AxiomC{$Gj$}\noLine\UnaryInfC{$\vdots$}\DisplayProof},labelOnlyB={},labelOnlyC={\AxiomC{}\noLine\UnaryInfC{}\noLine\UnaryInfC{$\lnot Gj, Gs, Ps$}\DisplayProof},
labelOnlyAC={$\infer*{\scriptsize{\exists x(Gx\land Px)}}{}$},labelOnlyAB={\AxiomC{$Pj$}\noLine\UnaryInfC{$\vdots$}\noLine\UnaryInfC{}\DisplayProof},labelOnlyBC={},labelABC={},
labelNotABC={},overlap={1.1cm},showframe={false}, labelA={$J$},labelB={$K$},labelC={$N$}]
\setpostvennhook
{
\draw[<-] (labelA) -- ++(135:0.5cm) node[above] {$J$ = S \dots};
\draw[<-] (labelB) -- ++(45:0.3cm) node[above] {$K$ = S' \dots};
\draw[<-] (labelC) -- ++(-90:0.5cm) node[below] {$N$ = S''  \dots};
}
\fillOnlyB ; \fillBCapC
\end{venndiagram3sets}
\end{table}
#+END_src