Warning: this is an htmlized version!
The original is across this link,
and the conversion rules are here.
% This is the file `examples/eedemo1.tex' of dednat4.
% The target "demo1" of the makefile copies this to
% "demos/ee.tex" and then runs dednat41 and latex on
% "demos/tmp.tex", that will be a wrapper around "ee.tex".
% Usage:
%   cd ~/dednat4/
%   make demo1
%   xdvi demos/tmp.dvi
% See:
%   http://angg.twu.net/dednat4.html
%   http://angg.twu.net/dednat4/examples/eedemo1.tex
%   http://angg.twu.net/dednat4/examples/eedemo1.tex.html

% (find-dn4 "Makefile")

% Author: Eduardo Ochs <eduardoochs@gmail.com>
% Version: 2008may19
% Public Domain.

%D diagram miniadj
%D 2Dx      100   120
%D 2D  100 a^L <= a
%D 2D       -     -
%D 2D       |     |
%D 2D       v     v
%D 2D  120  b => b^R
%D a^L a <=   a^L b |->   a b^R |->   b b^R =>
%D enddiagram
$$\diag{miniadj}$$

%:           [a,b]^1
%:           -------
%:  [a,b]^1     b      b|->c
%:  -------     ------------
%:     a             c
%:     ---------------
%:          a,c
%:        ---------1
%:        a,b|->a,c
%:
%:        ^tree1
%:
$$\ded{tree1}$$