• API
• FAQ
• Tools
• Archive
SHARE
TWEET

Untitled

a guest Jun 15th, 2019 62 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
1. documentclass{article}
2. usepackage[edges]{forest}
3. usepackage{amsmath}
4. usepackage{marvosym}
5. begin{document}
6. begin{forest}
7. for tree={l sep+=0.5em,parent anchor=south,child
8.     anchor=north,fill=yellow!50,draw,dotted},
9. forked edges
10. [\$begin{array}{lcc}
11. {}^*0 &lnot ( plor (qland r))to (plor q)land (plor r) & 1\
12. phantom{{}^*}1text{a} &dots& 2\
13. phantom{{}^*}1text{b} &dots& 4\
14. end{array}\$
15.  [\$begin{array}{lcc}
16.   2text{a} &p& ~\
17.   end{array}\$
18.   [\$begin{array}{lcc}
19.   0 &dots & 1\
20.   1text{a} &dots& 2\
21.   1text{b} &dots& 4\
22.   hline
23.   &textcolor{red}{text{Lightning,2a,5a}}&
24.   end{array}\$,fill=yellow!77
25.   ]
26.   [\$begin{array}{lcc}
27.   0 &dots & 1\
28.   1text{a} &dots& 2\
29.   1text{b} &dots& 4\
30.   hline
31.   &textcolor{red}{text{Lightning}}&
32.   end{array}\$,fill=yellow
33.   ]
34.  ]
35.  [\$begin{array}{lcc}
36.   2text{b} & qland r & 3\
37.   3text{a} & q & \
38.   3text{b} & r & \
39.   end{array}\$
40.   [\$begin{array}{lcc}
41.   0 &dots & 1\
42.   1text{a} &dots& 2\
43.   1text{b} &dots& 4\
44.   hline
45.   &textcolor{red}{text{Lightning}}&
46.   end{array}\$,fill=yellow!75
47.   ]
48.   [\$begin{array}{lcc}
49.   0 &dots & 1\
50.   1text{a} &dots& 2\
51.   1text{b} &dots& 4\
52.   hline
53.   &textcolor{red}{text{Lightning}}&
54.   end{array}\$,fill=yellow
55.   ]
56.  ]
57. ]
58. end{forest}
59. end{document}
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.

Top