Update venn_diagram.tex