\documentclass[12pt,leqno]{amsart}
\def\draft{n}
\usepackage{
  graphicx, dbnsymb, amsmath, amssymb, multicol, mathtools,
  picins, stmaryrd, xcolor, mathabx, needspace, enumitem,
  lgreek, sidecap, mathbbol, blindtext, bigfoot, import, amscd
}
\usepackage[all]{xy}
%\usepackage[english,greek]{babel}
\usepackage[textwidth=6.5in,textheight=9in,headsep=0.15in,centering]{geometry}
%\usepackage{printlen} % Used to print lengths.

% Following http://tex.stackexchange.com/a/847/22475:
\usepackage[pagebackref,breaklinks=true]{hyperref}\hypersetup{colorlinks,
  linkcolor={green!50!black},
  citecolor={green!50!black},
  urlcolor=blue
}

\usepackage{caption} \captionsetup{textfont=sf,width=5.5in}

\if\draft y
  \providecommand*\showkeyslabelformat[1]{\fbox{\normalfont\tiny\ttfamily#1}}
  \usepackage[color]{showkeys}
\fi

\input defs.tex

\interfootnotelinepenalty=10000 % prevent footnotes from extending across pages.

\begin{document} %\latintext
%\newdimen\captionwidth\captionwidth=\hsize
\setcounter{secnumdepth}{4}
\raggedbottom

\title{Over then Under Tangles}

\author{Dror~Bar-Natan}
\address{
  Department of Mathematics\\
  University of Toronto\\
  Toronto Ontario M5S 2E4\\
  Canada
}
\email{drorbn@math.toronto.edu}
\urladdr{http://www.math.toronto.edu/drorbn}

\author{Zsuzsanna Dancso}
\address{
  School of Mathematics and Statistics\\
  The University of Sydney\\
  Eastern Ave\\
  Camperdown NSW 2006, Australia
}
\email{zsuzsanna.dancso@sydney.edu.au}
\urladdr{http://zsuzsannadancso.net}

\author{Roland~van~der~Veen}
\address{
  University of Groningen, Bernoulli Institute\\
  P.O. Box 407\\
  9700 AK Groningen\\
  The Netherlands
}
\email{roland.mathematics@gmail.com}
\urladdr{http://www.rolandvdv.nl/}

\date{First edition Jul.\ 16, 2020, this edition Feb.~4,~2021. Online versions:~\cite{Self}.}

%\subjclass[2010]{57M25}
\subjclass[2020]{57K12, 20F36, 20F38}
\keywords{knots, braids, virtual braids, tangles, virtual tangles,
diamond lemma, extraction graphs, Drinfel'd double}

\begin{abstract} {\def\me{}
  \input abstract.tex
}\end{abstract}

\maketitle

\setcounter{tocdepth}{3}
\tableofcontents


\draftcut \input{f.tex}

\draftcut \input{c.tex}

\draftcut \input{v.tex}

\draftcut \input{a.tex}

\draftcut \input{SomeComputations.tex}

\draftcut \input{m.tex}

\draftcut \section{Acknowledgement} We wish to thank P.~Bellingeri,
A.~Referees, D.~Thurston, and B.~Wiest for comments and suggestions, and especially
O.~Chterental for spotting a major gap in an earlier version of this
paper. This work was partially supported by NSERC grant RGPIN-2018-04350 and by the University of Sydney Visiting Scholar Scheme.

\input refs.tex

\if\draft y
  \draftcut \input{tldt20.tex}
  \draftcut \input{recycling.tex}
\fi

\draftcut
\AtEndDocument{
\vfill
\[ \includegraphics[height=4in]{WordCloud.png} \]
\vfill}

\end{document}
\endinput