Warning: this is an htmlized version!
The original is here, and
the conversion rules are here.
% edrx17.sty - this is like "edrx08.sty", but without the catcodes.
% (find-angg "LATEX/edrx17.sty")
% (find-angg "LATEX/edrx15.sty")
% (find-dn4ex "edrx08.sty")
%   http://angg.twu.net/LATEX/edrx17.sty
%   http://angg.twu.net/LATEX/edrx17.sty.html
%   http://angg.twu.net/LATEX/edrx15.sty
%   http://angg.twu.net/LATEX/edrx15.sty.html
%   http://angg.twu.net/dednat4/examples/edrx08.sty
%   http://angg.twu.net/dednat4/examples/edrx08.sty.html
% Author: Eduardo Ochs <eduardoochs@gmail.com>
% Version: 2017jun17

% I use this as my main include(d) file.
% This is not self-contained! It has some "\input"s - namely:
%   \input edrxdnt.tex    % (find-dn4ex "edrxdnt.tex")
%   \input edrxdefs.tex   % (find-dn4ex "edrxdefs.tex")
% Also, this file is loaded by:
%   (find-dn4ex "edrxmain41.tex")
%   (find-dn4ex "edrxmain41a.tex")
% See also:
%   (find-dn4 "Makefile" "demo1")

% Here's a minimal example of use:
% create a file "foo.tex" containing this:
% (strip out the initial "%"s, of course...)
%
%     --snip--snip--
%     \documentclass[oneside]{book}
%     \usepackage[latin1]{inputenc}
%     \usepackage{edrx08}
%     %L process "edrx08.sty"  -- (find-dn4ex "edrx08.sty")
%     % For the footer with the filename and a timestamp:
%     \input edrxheadfoot.tex
%     \begin{document}
%   
%     % Run this to produce foo.dnt:
%     %  (find-sh "~/dednat4/dednat41 foo.tex")
%     % Make LaTeX load the TeXed versions of the trees and diagrams:
%     \input foo.dnt
%   
%     %D diagram adjunction-DNC
%     %D 2Dx    100       +20
%     %D 2D 100 a,b <==== a
%     %D 2D      -        -
%     %D 2D      |  <-->  |
%     %D 2D      v        v
%     %D 2D +20  c ===> b|->c
%     %D 2D
%     %D (( a,b   a
%     %D     c  b|->c
%     %D    @ 0 @ 1 <= @ 0 @ 2 |-> @ 1 @ 3 |-> @ 2 @ 3 =>
%     %D    @ 0 @ 3 harrownodes nil 20 nil <->
%     %D ))
%     %D enddiagram
%   
%     $$\diag{adjunction-DNC}$$
%   
%     \end{document}
%     --snip--snip--
%
% Then run:
%   ~/dednat4/dednat41 foo.tex
%   latex foo.tex
%   xdvi  foo.dvi



% «.bbold»		(to "bbold")
% «.glyphs»		(to "glyphs")
% «.ttchars»		(to "ttchars")
% «.arrows»		(to "arrows")
% «.limp»		(to "limp")
% «.pbsymbol»		(to "pbsymbol")
% «.standardabbrevs»	(to "standardabbrevs")
% «.fcded»		(to "fcded")
% «.experimental.lua»	(to "experimental.lua")
% «.slides»		(to "slides")
% «.colors»		(to "colors")
% «.dags»		(to "dags")
% «.savebox»		(to "savebox")
% «.crossover»		(to "crossover")
% «.picture-cells»	(to "picture-cells")
% «.diagprep»		(to "diagprep")
% «.psm-and-pmat»	(to "psm-and-pmat")
% «.dednat6»		(to "dednat6")

\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
%\usepackage{mathrsfs}
%\usepackage{stmaryrd}
\usepackage{array}       % (find-es "tex" "array")

%\usepackage{url}
%\usepackage{color}
%\usepackage{graphicx}    % <- temporary?
% \usepackage{pxfonts}   % <- temporary?
% \usepackage{fitch}     % <- temporary?
% \usepackage{hyperref}
%\usepackage{verbatimbox} % <- temporary?
                         % (find-es "tex" "verbatimbox")
\usepackage{shortvrb}   % (find-es "tex" "shortvrb")





%  _     _           _     _ 
% | |__ | |__   ___ | | __| |
% | '_ \| '_ \ / _ \| |/ _` |
% | |_) | |_) | (_) | | (_| |
% |_.__/|_.__/ \___/|_|\__,_|
%                            
% «bbold»  (to ".bbold")
% Amsfonts.sty's "\mathbb" uses the "bbm10" font, that has nice
% blackboard bold letters, but only a few other characters...
% Bbold.sty redefines "\mathbb" to use the "bbold10" font, that has
% more characters, but then the letters become much uglier...
% This hack is a possible solution - it makes both fonts available at
% once, the one from amsfonts as \mathbb, the other one as \mathbbold.
%
% (find-fline "/usr/share/texmf-tetex/tex/latex/amsfonts/amsfonts.sty" "\\mathbb")
% (find-fline "/usr/share/texmf-tetex/tex/latex/bbold/bbold.sty" "\\mathbb")
%
\newcommand{\bbfamily}{\fontencoding{U}\fontfamily{bbold}\selectfont}
\newcommand{\textbbold}[1]{{\bbfamily#1}}
\DeclareMathAlphabet{\mathbbold}{U}{bbold}{m}{n}

\def\mathbblow{\mathbbold}    % lowercase letters are usually better on bbold
\def\mathbbnum{\mathbbold}    % only bbold has all digits

% To compare bbm and bbold:
% (find-angg ".emacs" "find-testfont")
% (find-testfont "\\T{bbm10}\\T{bbold10}")
% (eedn4a "$\\mathbb{ABCDEINRZ}\\mathbblow{abcdeinrz}\\mathbbnum{0123456789}$")


%        _             _         
%   __ _| |_   _ _ __ | |__  ___ 
%  / _` | | | | | '_ \| '_ \/ __|
% | (_| | | |_| | |_) | | | \__ \
%  \__, |_|\__, | .__/|_| |_|___/
%  |___/   |___/|_|              
%
% «glyphs»  (to ".glyphs")
% (find-eev "eev-compose.el")




%  _   _       _                    
% | |_| |_ ___| |__   __ _ _ __ ___ 
% | __| __/ __| '_ \ / _` | '__/ __|
% | |_| || (__| | | | (_| | |  \__ \
%  \__|\__\___|_| |_|\__,_|_|  |___/
%                                   
% Use this macro to produce the \def_{\ttchar...} lines (below) from
% catcode/def lines (above):
% (setq last-kbd-macro (kbd "13*<delete> SPC 7*<right> \\ ttchar { $ C-e <left> $ } C-a <down>"))
%
% «ttchars»  (to ".ttchars")
% (find-es "tex" "leavevmode")
% (find-dn4ex "edrx08.sty" "ttchars")
% (find-ist "defs.tex" "chars")



%                                   
%   __ _ _ __ _ __ _____      _____ 
%  / _` | '__| '__/ _ \ \ /\ / / __|
% | (_| | |  | | | (_) \ V  V /\__ \
%  \__,_|_|  |_|  \___/ \_/\_/ |___/
%                                   
% «arrows»  (to ".arrows")
% (find-symbolspage 41)

\def\ito{\hookrightarrow}
\def\isoto{\underset{iso}{\to}}
\def\epito{{\twoheadrightarrow}}
\def\bij{\leftrightarrow}
\def\toto{\rightrightarrows}
\def\functo{\Rightarrow}
\def\ton#1{\overset{#1}{\to}}
\def\xton#1{\xrightarrow{#1}}
\def\iton#1{\overset{#1}{\ito}}
\def\otn#1{\overset{#1}{\ot}}
\def\TNto{\overset{.}{\to}}
\def\idto{\overset{id}{\to}}
\def\vaipra{\quad\Longrightarrow\quad}
\def\funto{\Rightarrow}
\def\funton#1{\overset{#1}\Rightarrow}
\def\tnto{\ton{\bullet}}
%\def\iff{\Leftrightarrow}
\def\Bij{\Leftrightarrow}
\def\funot{\Leftarrow}
\def\dnto{\downarrow}
\def\upto{\uparrow}
\def\dnfunto{\Downarrow}
\def\upfunto{\Uparrow}
\def\monicto{\rightarrowtail}
\def\monicot{\leftarrowtail}
\def\ot{\leftarrow}
\def\squigto{\rightsquigarrow}
\def\squigbij{\leftrightsquigarrow}
\def\sqto{\rightsquigarrow}
\def\sqbij{\leftrightsquigarrow}
\def\vbij{\updownarrow}
\def\lrto{\leftrightarrows}

\def\mto{{\mapsto}}
\def\mton#1{\overset{#1}{\mto}}
\def\widemtos{\def\mto{\mapsto}}
\def\thinmtos{\def\mto{{\mapsto}}}

\def\lmto{\mapsto}
\def\tnton#1{\underset{#1}{\overset{\bullet}{\to}}}

\def\mapsot{\leftarrow\mapsfromchar}
\def\mot{{\mapsot}}
\def\iot{\hookleftarrow}
\def\dashto{\dashrightarrow}
\def\dashot{\dashleftarrow}
\def\mdashto{\mapstochar\dashrightarrow}
\def\mdashot{\dashleftarrow\mapsfromchar}




%  _ _                 
% | (_)_ __ ___  _ __  
% | | | '_ ` _ \| '_ \ 
% | | | | | | | | |_) |
% |_|_|_| |_| |_| .__/ 
%               |_|    
%
% «limp»  (to ".limp")
% Logical implication (a thin, long, vaguely arrow-like, \supset char)
% Note that this "symbol" does not change size in \scriptstyle...
% (find-es "tex" "thin_supset")
% (find-lsrcfile "amslatex/math/amsopn.dtx" "DeclareMathOperator")
% (find-lsrcfile "amslatex/math/amsopn.dtx" "DeclareRobustCommand{\\qopname}")

% \def\limpchar{{%
%   \setlength{\unitlength}{1pt}%
%   \begin{picture}(6,4)
%     \put(0,2){\oval(12,4)[r]}
%   \end{picture}%
%   }}
% % \def\limp{\qopname\relax o{\limpchar}}
% \def\limp{\mathrel{\limpchar}}
% %\def\limp{\mathbin{\limpchar}}


%        _                         _           _ 
%  _ __ | |__  ___ _   _ _ __ ___ | |__   ___ | |
% | '_ \| '_ \/ __| | | | '_ ` _ \| '_ \ / _ \| |
% | |_) | |_) \__ \ |_| | | | | | | |_) | (_) | |
% | .__/|_.__/|___/\__, |_| |_| |_|_.__/ \___/|_|
% |_|              |___/                         
%
% «pbsymbol»  (to ".pbsymbol")
\def\pbsymbol#1{%
  \begin{picture}(#1,#1)
    \put(0,0){\line(1,0){#1}}
    \put(#1,#1){\line(0,-1){#1}}
  \end{picture}}


%           _              _       _   
%   ___  __| |_ ____  ____| |_ __ | |_ 
%  / _ \/ _` | '__\ \/ / _` | '_ \| __|
% |  __/ (_| | |   >  < (_| | | | | |_ 
%  \___|\__,_|_|  /_/\_\__,_|_| |_|\__|
%                                      
%\ifx\NOEDRXDNT\UNDEFINED
%\input edrxdnt.tex              % (find-dn4ex "edrxdnt.tex")
%\fi
% \input edrxdednat.tex         % (find-dn4ex "edrxdednat.tex")
                                % (find-dn4 "experimental.lua")

% «standardabbrevs»  (to ".standardabbrevs")
% «experimental.lua»  (to ".experimental.lua")
%L standardabbrevs()            -- (find-dn4 "dednat41.lua")
%L require "experimental"       -- (find-dn4 "experimental.lua")

% «fcded» (to ".fcded")
\def\ee{\varepsilon}       % (find-texbookpage (+ 12 128) "\\varepsilon")
\def\cded #1{\begin{matrix}\ded {#1}\end{matrix}}
\def\cdiag#1{\begin{matrix}\diag{#1}\end{matrix}}

\def\fcded#1{\fbox{$\cded{#1}$}}
\def\fbded#1{\fbox{$\ded{#1}$}}

% Todo: compare using "matrix" and "vcenter" for cded and cdiag... See:
% http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/ndexamples/proofsty3.html
% I have not tested the \vcenter method much - but here are the definitions,
% if they work they will be renamed \cded and \cdiag and will replace the
% current ones.
\def\vcded #1{\vcenter{\leavevmode$\ded {#1}$}}
\def\vcdiag#1{\vcenter{\leavevmode$\diag{#1}$}}

% (find-dn4file "diagxy.tex" "\\newdir")
% \newdir^{ (}{{ }*!/-.5em/@^{(}}%
% \newdir^{) }{{ }*!/.5em/@^{)}}%




%           _              _       __     
%   ___  __| |_ ____  ____| | ___ / _|___ 
%  / _ \/ _` | '__\ \/ / _` |/ _ \ |_/ __|
% |  __/ (_| | |   >  < (_| |  __/  _\__ \
%  \___|\__,_|_|  /_/\_\__,_|\___|_| |___/
%                                         
\input edrx15defs.tex         % (find-LATEX "edrx15defs.tex")
\def\co{\mathrm{co}}
\def\bsk{\bigskip}
\def\msk{\medskip}
\def\ssk{\smallskip}

% "set of ...", and
% "set of ... such that ..."
\def\sof #1{\{\,#1\,\}}
\def\sst #1#2{\{\,#1\;|\;#2\,\}}
\def\ssst#1#2{\{\,#1\;||\;#2\,\}}

\def\Opens{\mathcal{O}}
\def\compl{{\text{\,compl}}}
\def\interior{{\text{int}}}
\def\sh{\sharp}
\def\fl{\flat}

% (find-angg ".emacs.papers" "stmaryrd")
\def\Dbr#1{\left\llbracket#1\right\rrbracket}
\def\dbr#1{\llbracket#1\rrbracket}
\def\Dbrnat#1{\Dbr{#1}^\natural}
\def\dbrnat#1{\dbr{#1}^\natural}


% Extra:
% (find-dn4ex "edrxslides.tex")
\def\myslide#1#2{{\bf #1}}
\def\tocline#1#2{\par #1 \dotfill #2}
% This is useful for slides:
% \setlength{\parindent}{0em}


%      _ _     _           
%  ___| (_) __| | ___  ___ 
% / __| | |/ _` |/ _ \/ __|
% \__ \ | | (_| |  __/\__ \
% |___/_|_|\__,_|\___||___/
%                          
% «slides»  (to ".slides")
% (find-es "tex" "mytoc")
% (find-LATEX "2005oct20-seminar.tex")
% (find-dn4ex "edrxslides.tex")
\makeatletter
\def\mylosopen#1{\newwrite\tf@mylos\openout\tf@mylos=#1}
\makeatother
\def\addtolos#1{\addtocontents{mylos}{\protect\tocline{#1} {\thepage}}}
\def\myslidelos#1#2{
    {\bf #1}\label{#2}%
    \addtolos{#1}%
    % \addtocontents{mylos}{\protect\tocline {#1} {\thepage}}%
  }
\def\makelos#1{\mylosopen{#1}\def\myslide{\myslidelos}}
%\def\ignore#1{}
%\def\nolos{\let\addtolos=\ignore}
%
% Usage:
% % \mylosopen{\jobname.los}
% \mylosopen{tmp.los}
% \def\myslide#1#2{\myslidelos{#1}{#2}}
% %
% {\bf Index of the slides}
% \medskip
% We insert the list of slides here by hand...
% (find-fline "tmp.los")
% (insert-file "tmp.los")
% ...



% %            _                
% %   ___ ___ | | ___  _ __ ___ 
% %  / __/ _ \| |/ _ \| '__/ __|
% % | (_| (_) | | (_) | |  \__ \
% %  \___\___/|_|\___/|_|  |___/
% %                             
% % «colors»  (to ".colors")
% % (find-LATEX "edrx15.sty" "bhbox")
% % (find-es "tex" "bicolorhbox")
% % (find-es "tex" "color-packages")
% % Usage:
% %
% % \edrxcolors    % (find-LATEX "edrx15.sty" "colors")
% % \def\bhbox{\bicolorhbox}
% % Foobar\bhbox{plic}ploc
% %
% \def\blue  #1{{\color{blue}#1}}
% \def\red   #1{{\color{red}#1}}
% \def\orange#1{{\color{orange}#1}}
% \def\yellow#1{{\color{yellow}#1}}
% \def\smashedvrule#1#2#3{\vrule width#1 height#2 depth#3 \kern-#1}
% \def\bicolorhbox#1{{%
%   \setbox0\hbox{#1}%
%   \yellow{\smashedvrule{\wd0}{\ht0}{0pt}}%
%   \orange{\smashedvrule{\wd0}{0pt}{\dp0}}%
%   \box0%
%   }}
% \def\bhbox{\bicolorhbox}
% 
% % (find-es "tex" "color")
% % (find-lsrcfile "graphics/color.dtx" "\\definecolor{red}")
% % (find-es "tex" "color-packages")
% \def\edrxcolors{
%   \definecolor{orange}{rgb}{1,.64,0}
%   }



% %      _                 
% %   __| | __ _  __ _ ___ 
% %  / _` |/ _` |/ _` / __|
% % | (_| | (_| | (_| \__ \
% %  \__,_|\__,_|\__, |___/
% %              |___/     
% %
% % «dags»  (to ".dags")
% % (find-es "tex" "dags")
% % Some definitions (probably temporary) for
% % typesetting the DAGs for (pre)sheaves.
% %
% % 2011feb13:
% \newdimen\mypictureunit
% \setbox0=\hbox{\rm0}
% \mypictureunit=.085\wd0
% \mypictureunit=.084\wd0
% %
% \def\dagput(#1,#2)#3{\put(#1,#2){\hbox to 0pt{\hss\scriptsize#3\hss}}}
% \def\dagpicture(#1,#2)(#3,#4)[#5]#6{{%
%   %\unitlength=.1ex%
%   %\setbox0\hbox{x}\unitlength=.1\wd0%
%   %\setbox0\hbox{x}\unitlength=.095\wd0%
%   %\setbox0\hbox{x}\unitlength=.090\wd0%
%   \unitlength=\mypictureunit
%   \lower #5\unitlength\hbox{%
%     \begin{picture}(#1,#2)(#3,#4)
%       #6
%     \end{picture}%
%   }}}
% \def\dagHouse#1#2#3#4#5{%
%   \dagpicture(20,36)(-10,-24)[12]{
%     \dagput( 0,  0){$#1$}    % top
%     \dagput(-6,-12){$#2$}    % second line, left
%     \dagput( 6,-12){$#3$}    % second line, right
%     \dagput(-6,-24){$#4$}    % third line, left
%     \dagput( 6,-24){$#5$}    % third line, right
%   }}
% \def\dagVee#1#2#3{%
%   \dagpicture(20,24)(-10,-12)[0]{
%     \dagput(-6,  0){$#1$}    % top left
%     \dagput( 6,  0){$#2$}    % top right
%     \dagput( 0,-12){$#3$}    % bottom
%   }}
% \def\dagPyr#1#2#3{%
%   \dagpicture(20,24)(-10,-12)[0]{
%     \dagput( 0,  0){$#1$}    % top
%     \dagput(-6,-12){$#2$}    % bottom left
%     \dagput( 6,-12){$#3$}    % bottom right
%   }}
% \def\dagKite#1#2#3#4#5{%
%   \dagpicture(20,48)(-10,-36)[16]{
%     \dagput( 0,  0){$#1$}    % top
%     \dagput(-6,-12){$#2$}    % second line, left
%     \dagput( 6,-12){$#3$}    % second line, right
%     \dagput( 0,-24){$#4$}    % third line
%     \dagput( 0,-36){$#5$}    % bottom
%   }}
% \def\dagSqr#1#2#3#4{%
%   \dagpicture(20,24)(-10,-12)[0]{
%     \dagput(-6,  0){$#1$}    % top left
%     \dagput( 6,  0){$#2$}    % top right
%     \dagput(-6,-12){$#3$}    % bottom left
%     \dagput( 6,-12){$#4$}    % bottom right
%   }}
% \def\dagTwo#1#2{%
%   \dagpicture(8,24)(-4,-12)[0]{
%     \dagput( 0,  0){$#1$}    % top
%     \dagput( 0,-12){$#2$}    % bottom
%   }}
% \def\dagThree#1#2#3{%
%   \dagpicture(8,36)(-4,-24)[6]{
%     \dagput( 0,  0){$#1$}    % top
%     \dagput( 0,-12){$#2$}    % middle
%     \dagput( 0,-24){$#3$}    % bottom
%   }}
% \def\dagTee#1#2#3#4{%
%   \dagpicture(32,24)(-16,-12)[0]{
%     \dagput(-12,  0){$#1$}    % top left
%     \dagput(  0,  0){$#2$}    % top middle
%     \dagput( 12,  0){$#3$}    % top right
%     \dagput(  0,-12){$#4$}    % bottom
%   }}
% \def\dagSeven#1#2#3#4#5#6#7{%
%   \dagpicture(44,36)(-22,-24)[6]{
%     \dagput(  0,  0){$#1$}    % top
%     \dagput( -9,-12){$#2$}    % middle left
%     \dagput(  9,-12){$#3$}    % middle right
%     \dagput(-18,-24){$#4$}    % bottom left
%     \dagput( -6,-24){$#5$}    % bottom middle left
%     \dagput(  6,-24){$#6$}    % bottom middle right
%     \dagput( 18,-24){$#7$}    % bottom right
%   }}
% % Reason for the name "Reh":
% % (find-einsert '(638 1360))
% %  638 is an "r with fishhook" (IPA),
% % 1360 is the "(capital) Armenian Reh".
% \def\dagReh#1#2#3#4{\dagHouse{#1}{#2}{#3}{#4}{}}


% For my notes on sheaves and presheaves
\def\dbul{{\bullet\bullet}}      % supersaturated cover
\def\bulm{{\bullet-}}            % minimal saturated cover
\def\bul{\bullet}                % saturated cover
\def\bol{\circ}                  % cover
\def\dtri{{\blacktriangle\blacktriangle}}  % supersaturated subcover
\def\tri{\blacktriangle}                   % saturated subcover
\def\tro{\vartriangle}                     % subcover

\def\calU{{\mathcal{U}}}
\def\calV{{\mathcal{V}}}

% «savebox»  (to ".savebox")
% These are mainly for nested diagrams
% (find-LATEX "2008graphs.tex" "ess-and-star")
% (find-LATEX "2008graphs.tex" "minimal-dag")
% (find-LATEX "2008graphs.tex" "minimal-dag" "A .tex= \\usebox{\\myboxa}")
% (find-kopkadaly4page (+ 12  87) "\\newsavebox{\\boxname}")
% (find-kopkadaly4text            "\\newsavebox{\\boxname}")
\newsavebox{\myboxa}
\newsavebox{\myboxb}
\newsavebox{\myboxc}
\newsavebox{\myboxd}
\newsavebox{\myboxe}
\newsavebox{\myboxf}
\newsavebox{\myboxg}
\newsavebox{\myboxh}

% «picture-cells» (to ".picture-cells")
% (find-es "tex" "picture-cells")
% (find-dn5 "newrect.lua" "makepicture")
% Dednat6 uses "cells" in picture mode.
%
%\newlength{\celllower}
%\newlength{\lcelllower}
%\def\cellfont{}
%\def\lcellfont{}
%\def\cell #1{\lower\celllower\hbox to 0pt{\hss\cellfont${#1}$\hss}}
%\def\lcell#1{\lower\celllower\hbox to 0pt   {\lcellfont${#1}$\hss}}

% «diagprep»  (to ".diagprep")
% (find-dn4ex "edrxdnt.tex" "defdiag")
% Experimental, 2010mar25
%\def\defdiagprep#1#2{\expandafter\def\csname diagprep-#1\endcsname{#2}}
%\def\ifdiagprepundefined#1{\expandafter\ifx\csname diagprep-#1\endcsname\relax}
%\def\diagprep#1{\ifdiagprepundefined{#1}
%    \errmessage{UNDEFINED DIAGPREP: #1}
%  \else
%    \csname diagprep-#1\endcsname
%  \fi
%}
%\def\diagwithboxes#1{\diagprep{#1}\diag{#1}}

% These are mainly for putting multi-line text in nodes in diagrams
\def\textc#1{\begin{tabular}{c}#1\end{tabular}}
\def\textl#1{\begin{tabular}{l}#1\end{tabular}}

%:*\s[*\dncdisplay[*
\def\dncdisplay[#1|#2]{\begin{pmatrix} #2 \\ #1 \end{pmatrix}}

\def\ov{\overline}

% «crossover»  (to ".crossover")
% (find-es "tex" "crossover")
\def\crossover#1#2#3{%
  \setbox0\hbox{#1}%
  \copy0%
  \hskip -\wd0%
  \setbox1\hbox{\vrule height#2 width\wd0 depth0pt}%
  \raise#3\copy1\relax}
\def\mycrossover#1{\crossover{#1}{0.25pt}{1.75pt}}


\def\emp{\emptyset}
\def\ang#1{\langle#1\rangle}


% «psm-and-pmat» (to ".psm-and-pmat")
%
\def\sm #1{\begin{smallmatrix}#1\end{smallmatrix}}
\def\psm#1{\left (\begin{smallmatrix}#1\end{smallmatrix}\right )}
\def\bsm#1{\left [\begin{smallmatrix}#1\end{smallmatrix}\right ]}
\def\csm#1{\left\{\begin{smallmatrix}#1\end{smallmatrix}\right\}}
%
\def\mat #1{\begin{matrix}#1\end{matrix}}
\def\pmat#1{\left (\begin{matrix}#1\end{matrix}\right )}
\def\bmat#1{\left [\begin{matrix}#1\end{matrix}\right ]}
\def\cmat#1{\left\{\begin{matrix}#1\end{matrix}\right\}}


\def\uu{\vec u}
\def\vv{\vec v}
\def\ww{\vec w}
\def\Vec#1{{\overrightarrow{#1}}}
\def\VEC#1{{\overrightarrow{(#1)}}}



% «dednat6» (to ".dednat6")
% (find-dn6 "output.lua")
\def\expr#1{\directlua{output(tostring(#1))}}
\def\eval#1{\directlua{#1)}}
%
% (find-dn6 "texfile.lua" "TexFile")
% (find-dn6 "texfile.lua" "TexFile" "pu =")
\def\pu{\directlua{pu()}}
%
% These should be deleted
%\def\Diag#1{\directlua{tf:processuntil()}\diag{#1}}
%\def\Ded #1{\directlua{tf:processuntil()}\ded{#1}}
%\def\Exec#1{\directlua{tf:processuntil() #1}}
%\def\Expr#1{\directlua{tf:processuntil() output(#1)}}
%\def\Expr#1{\directlua{tf:processuntil() output(tostring(#1))}}








% Local Variables:
% coding:               raw-text-unix
% ee-delimiter-percent: "\n%*\n"
% ee-anchor-format:     "«%s»"
% End: