\documentclass[11pt,notitlepage]{article}
\usepackage{amsmath, graphicx, amssymb, stmaryrd, datetime, amscd, multicol, txfonts, }
\usepackage[usenames,dvipsnames]{xcolor}
% Following http://tex.stackexchange.com/a/847/22475:
\usepackage[setpagesize=false]{hyperref}\hypersetup{colorlinks,
%\usepackage{hyperref}\hypersetup{colorlinks,
  linkcolor={blue!50!black},
  citecolor={blue!50!black},
  urlcolor=blue
}
\usepackage[greek,english]{babel}

\def\arXiv#1{{\href{http://front.math.ucdavis.edu/#1}{arXiv:\linebreak[0]#1}}}
\def\red{\color{red}}

\def\myurl{http://www.math.toronto.edu/~drorbn}
\def\navigator{{
  \href{\myurl}{Dror Bar-Natan}:
  \href{\myurl/Talks}{Talks}:
  \href{\myurl/Talks/LesDiablerets-1508/}{LesDiablerets-1508}:
}}
\def\webdef{{{\greektext web}$\coloneqq$\href{\myurl/Talks/LesDiablerets-1508/}{\tt www.math.toronto.edu/$\sim$drorbn/Talks/LesDiablerets-1508/}}}
\def\web#1{{\href{\myurl/Talks/LesDiablerets-1508/#1}{{\greektext web}/#1}}}

\paperwidth 8in
\paperheight 10.5in
\textwidth 8in
\textheight 10.5in
\oddsidemargin -0.75in
\evensidemargin \oddsidemargin
\topmargin -0.75in
\headheight 0in
\headsep 0in
\footskip 0in
\parindent 0in
\setlength{\topsep}{0pt}
\pagestyle{empty}
\dmyydate

% Following http://tex.stackexchange.com/questions/23521/tabular-vertical-alignment-to-top:
\def\imagetop#1{\vtop{\null\hbox{#1}}}

\begin{document}
%\setlength{\jot}{0ex}
\setlength{\abovedisplayskip}{0.5ex}
\setlength{\belowdisplayskip}{0.5ex}
\setlength{\abovedisplayshortskip}{0ex}
\setlength{\belowdisplayshortskip}{0ex}

\parbox[b]{4.5in}{
  {\small\navigator} {\LARGE\bf {\tt FreeLie`} Demo}
  }
\hfill\parbox[b]{3.5in}{\scriptsize
  \null\hfill\webdef
  \newline\null\hfill see especially \web{FLD}, \web{WKO4}, and \web{PP}.
}

\vskip -3mm
\rule{\textwidth}{1pt}
\vspace{-8mm}

\begin{multicols*}{2} %\raggedcolumns

\hfill{\red Loading, initializing variables, setting default degree to $6$.}

{\footnotesize (The {\em Mathematica} packages {\tt FreeLie`} and {\tt AwCalculus`} are at \web{WKO4})}.

\includegraphics[width=\columnwidth]{Initialization.pdf}

\vskip -3mm\rule{\columnwidth}{1pt}

\includegraphics[width=\columnwidth]{BCH.pdf}

\vskip -3mm\rule{\columnwidth}{1pt}

\hfill{\red KV Direct.}

\includegraphics[width=\columnwidth]{KVDirect.pdf}

\columnbreak

\hfill{\red Meaningless calculations.}

\includegraphics[width=\columnwidth]{RandomOps.pdf}

(Also implemented: $\partial_\lambda$ and derivations in general, {\tt tb}, $e^{\partial_\lambda}$ and morphisms in general, {\tt div}, {\tt j}, Drinfel'd-Kohno, etc.)

\vskip -3mm\rule{\columnwidth}{1pt}

\hfill{\red The \cite{WKO} ``vertex'' equations.}

\includegraphics[width=\columnwidth]{VCapSolution.pdf}

\columnbreak

\hfill{\red From $V$ to $F$ to KV following~\cite{AT}.}

\includegraphics[width=\columnwidth]{atkv.pdf}

\vskip -3mm\rule{\columnwidth}{1pt}

\hfill{\red Solving for an associator $\Phi$.}

\vskip -4mm

\includegraphics[width=\columnwidth]{Associator.pdf}

\vskip -3mm\rule{\columnwidth}{1pt}

\hfill{\red The ``buckle'' $Z_B$, from $\Phi$.}
\quad \raisebox{-6mm}{\includegraphics[width=1in]{ABuckle.png}}

\vskip -5mm

\includegraphics[width=\columnwidth]{TheBuckle.pdf}

\columnbreak

\hfill{\red $V$ from $Z_B$, following \cite{AET, WKO}.}

\includegraphics[width=\columnwidth]{VFromPhi.pdf}

\vskip -3mm\rule{\columnwidth}{1pt}

\hfill{\red The Borromean tangle.}

\includegraphics[width=\columnwidth]{Borromean.pdf}

\vskip -3mm\rule{\columnwidth}{1pt}

\hfill{{\red References.}\small
\par\vspace{-3mm}
\renewcommand{\section}[2]{}%
\begin{thebibliography}{}
\setlength{\parskip}{0pt}
\setlength{\itemsep}{0pt plus 0.3ex}

\bibitem[AT]{AT} A.~Alekseev and C.~Torossian,
  {\em The Kashiwara-Vergne conjecture and Drinfeld's associators,}
   Annals of Mathematics {\bf 175} (2012) 415--463, \arXiv{0802.4300}.

\bibitem[AET]{AET} A.~Alekseev,
    B.~Enriquez, and C.~Torossian,
  {\em Drinfeld's associators, braid groups and an explicit solution of
    the Kashiwara-Vergne equations,}
  Publications Math\'ematiques de L'IH\'ES, {\bf 112-1} (2010) 143--189,
  \arXiv{0903.4067}

\bibitem[BND]{WKO} D.~Bar-Natan and Z.~Dancso,
  {\em Finite Type Invariants of W-Knotted Objects I-IV,}
  \web{WKO1}, \web{WKO2}, \web{WKO3}, \web{WKO4}, and \arXiv{1405.1956}, \arXiv{1405.1955}, \arXiv{not.yet}$\times 2$.

\end{thebibliography}}

\vfill\hfill{\red Warning.} Fidgety!

\end{multicols*}

\end{document}

\endinput