Warning: this is an htmlized version!
The original is across this link,
and the conversion rules are here.
% A minimal test file for Dednat6.
% See: http://angg.twu.net/dednat6.html
%      http://angg.twu.net/LATEX/2018dednat6-minimal.tex.html
%
% Some emacs/eev-isms. You are not expected to understand this.
% See: (find-eev-quick-intro "7.4. Commands with very short names")
%      http://angg.twu.net/eev-intros/find-eev-quick-intro.html#7.4
%
% (find-angg "LATEX/2018dednat6-minimal.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2018dednat6-minimal.tex"))
% (defun d () (interactive) (find-xpdfpage "~/LATEX/2018dednat6-minimal.pdf"))
% (defun e () (interactive) (find-LATEX "2018dednat6-minimal.tex"))
% (defun u () (interactive) (find-latex-upload-links "2018dednat6-minimal"))
%   (find-xpdfpage "~/LATEX/2018dednat6-minimal.pdf")
% http://angg.twu.net/LATEX/2018dednat6-minimal.pdf
%
\documentclass[oneside]{article}
  \usepackage{proof}   % For derivation trees ("%:" lines)
  \input diagxy        % For 2D diagrams ("%D" lines)
  \xyoption{curve}     % For the ".curve=" feature in 2D diagrams
\begin{document}
  \catcode`\^^J=10                      % (find-es "luatex" "spurious-omega")
  \directlua{dofile "dednat6load.lua"}  % (find-LATEX "dednat6load.lua")


\title{Dednat6: a minimal test file}
\author{Eduardo Ochs}
\maketitle

Two trees:
%
%L addabbrevs("->", "\\to ")
%
%:  [x]^1  f     [a]^1  a->b
%:  --------     -----------
%:     f(x)   g       b       b->c
%:     --------       ------------
%:     g(f(x))             c
%:   ----------1         ----1
%:   »x.g(f(x))          a->c
%:
%:   ^x.g(f(x))          ^x.g(f(x)).t
%:
\pu
$$\ded{x.g(f(x))} \qquad \ded{x.g(f(x)).t}$$




\def\catA{\mathbf{A}}
\def\catB{\mathbf{B}}

A diagram:
%
%D diagram adj
%D 2Dx     100     +25     +25   +25
%D 2D  100 LA <--| A
%D 2D      |       |
%D 2D      |  <->  |
%D 2D      v       v
%D 2D  +25 B |--> RB       C --> D
%D 2D
%D 2D  +15 \catB \catA
%D 2D
%D (( LA A <-|
%D    LA B -> A RB ->
%D    B RB |->
%D    LA RB harrownodes nil 20 nil <->
%D    \catB \catA <- sl^ .plabel= a L
%D    \catB \catA -> sl_ .plabel= b R
%D
%D    C D -> .curve= ^10pt .plabel= a a
%D    C D -> .curve= _10pt .plabel= b b
%D ))
%D enddiagram
%D
$$\pu
  \diag{adj}
$$


\end{document}

% Local Variables:
% coding: utf-8-unix
% End: