
% We use mfpic to make figures showing patch relationships
\usepackage[metapost,mplabels,truebbox]{mfpic}
\setlength\pointsize{5pt}
% XXX lin(e) should probably use a straightline command rather than curve
\newcommand{\lin}[2]{\trimpath{\pointsize,\pointsize}\curve{#1,#2}}
\newcommand{\arr}[3]{\arrow\trimpath{\pointsize,\pointsize}\curve{#1,#2,#3}}
\newcommand{\arrlab}[5]{\arr{#1}{#2}{#3}\tlabel[#4]#2{#5}}
% Is there a global setting we can set for the default tlabelsep instead?
\everymfpic{\tlabelsep{1pt}}
\mfpverbtex{%&latex
\documentclass[a4paper]{article}
\usepackage{import}
\import{}{preamble}
\begin{document}
\import{}{definitions}
}
\opengraphsfile{figures}
% Each unit in mfpic pitures corresponds to 18pt
\mfpicunit=18pt
% Default is 1(ratio) 1(tension) false(don't fill the arrowhead)
\headshape{1}{100}{true}
% Default is 3pt, but that makes weedy-looking arrows
\headlen=5pt
