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. OK, I Understand
 
Top