Warning: this is an htmlized version! The original is across this link, and the conversion rules are here.
```\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 } } } }

```