\defdiag{miniadj}{    % (find-fline "ee.tex" 20)
  \morphism(0,0)/<=/<300,0>[{a^L}`{a};{}]
  \morphism(0,0)/|->/<0,-300>[{a^L}`{b};{}]
  \morphism(300,0)/|->/<0,-300>[{a}`{b^R};{}]
  \morphism(0,-300)/=>/<300,0>[{b}`{b^R};{}]
}
\defded{tree1}{    % (find-fline "ee.tex" 41)
 \infer[{1}]{ \mathstrut a,b\mto a,c }{
  \infer{ \mathstrut a,c }{
   \infer{ \mathstrut a }{
    \mathstrut [a,b]^1 } &
   \infer{ \mathstrut c }{
    \infer{ \mathstrut b }{
     \mathstrut [a,b]^1 } &
    \mathstrut b\mto c } } } }