\documentclass[11pt,notitlepage]{article}
\usepackage{amsmath, graphicx, amssymb, stmaryrd, datetime2, amscd, multicol, txfonts, needspace}
\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\calU{{\mathcal U}}

\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}

{\LARGE\bf OneCo-1605 Implementation Showcase}\hfill
\parbox[b]{3in}{\tiny
  \null\hfill\url{http://drorbn.net/AcademicPensieve/Projects/OneCo-1604/AoBranch/}
  \newline\null\hfill
  Started 2016-04-12; modified \DTMnow
}

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

\def\cellscale{0.65}

\begin{multicols}{2} \raggedcolumns

In $\calU(T)\otimes\calU(H)$ conventions.\hfill{\red Generalities.}

\needspace{1in}
\includegraphics[scale=\cellscale]{Snips/Generalities.pdf}
\vskip -3mm\rule{\columnwidth}{1pt}

\needspace{1in}
\hfill{\red $\ast\ast$}
\vskip -4mm\includegraphics[scale=\cellscale]{Snips/NonCommutativeMultiply.pdf}
\vskip -3mm\rule{\columnwidth}{1pt}

\needspace{1in}
\hfill{\red Definition of $tm$.}
\includegraphics[scale=\cellscale]{Snips/tm-def.pdf}
\vskip -3mm\rule{\columnwidth}{1pt}

\needspace{1in}
\hfill{\red Definition of $hm$.}
\includegraphics[scale=\cellscale]{Snips/hm-def.pdf}
\vskip -3mm\rule{\columnwidth}{1pt}

\needspace{1in}
\hfill{\red Definition of $hts$.}
\includegraphics[scale=\cellscale]{Snips/hts-def.pdf}
\vskip -3mm\rule{\columnwidth}{1pt}

\needspace{1in}
\hfill{\red Definition of $dm$.}
\vskip -4mm\includegraphics[scale=\cellscale]{Snips/dm-def.pdf}
\vskip -3mm\rule{\columnwidth}{1pt}

%\needspace{1in}
%\hfill{\red Renaming operations.}
%\includegraphics[scale=\cellscale]{Snips/sigma-def.pdf}
%\vskip -3mm\rule{\columnwidth}{1pt}

\needspace{1in}
\hfill{\red Definition of $tb$.}
\vskip -4mm\includegraphics[scale=\cellscale]{Snips/tb-def.pdf}
\vskip -3mm\rule{\columnwidth}{1pt}

\needspace{5in}
\hfill{\red Definition of $thb$.}
\vskip -4mm\includegraphics[scale=\cellscale]{Snips/thb-def.pdf}
\vskip -3mm\rule{\columnwidth}{1pt}

\needspace{1in}
\hfill{\red Definition of $hb$.}
\vskip -4mm\includegraphics[scale=\cellscale]{Snips/hb-def.pdf}
\vskip -3mm\rule{\columnwidth}{1pt}

\needspace{1in}
$h_1h_2t_1t_2\to h_1h_2t_1t_2\to h_1h_2t_2t_1\to h_2h_1t_2t_1\to h_2h_1t_2t_1$:
\hfill{\red $db$.}
\includegraphics[scale=\cellscale]{Snips/db-def.pdf}
\vskip -3mm\rule{\columnwidth}{1pt}

\needspace{1in}
\hfill{\red The bracket.}
\vskip -4mm\includegraphics[scale=\cellscale]{Snips/bb-def.pdf}
\vskip -3mm\rule{\columnwidth}{1pt}

%\needspace{1in}
%\hfill{\red 0-Co.}
%\vskip -4mm\includegraphics[scale=\cellscale]{Snips/0Co.pdf}
%\vskip -3mm\rule{\columnwidth}{1pt}

\end{multicols}

\needspace{5in}
\rule{\textwidth}{1pt}
\par\hfill{\red Definition of $ct$.}
\vskip -5mm\includegraphics[scale=0.65]{Snips/ct-def.pdf}
%\vskip -3mm\rule{\columnwidth}{1pt}

\begin{multicols}{2} \raggedcolumns

%\needspace{1in}
%\hfill{\red Global Generalities.}
%\vskip -4mm\includegraphics[scale=\cellscale]{Snips/GlobalGeneralities.pdf}
%\vskip -3mm\rule{\columnwidth}{1pt}
%
%\needspace{1in}
%\hfill{\red $h\infty$ Scattering.}
%\vskip -4mm\includegraphics[scale=\cellscale]{Snips/hInfinityScattering.pdf}
%\vskip -3mm\rule{\columnwidth}{1pt}
%
%\needspace{1in}
%\hfill{\red Exponentiating an arrow.}
%\includegraphics[scale=\cellscale]{Snips/Ejk.pdf}
%\vskip -3mm\rule{\columnwidth}{1pt}

%\needspace{1in}
%\hfill{\red Verifying the exponentiation.}
%\vskip -4mm\includegraphics[scale=\cellscale]{Snips/VerifyingEjk.pdf}
%\vskip -3mm\rule{\columnwidth}{1pt}

%\needspace{2in}
%\hfill{\red Recovery challenges.}
%\newline\includegraphics[scale=\cellscale]{Snips/HeadByTails.pdf}
%\newline\includegraphics[scale=\cellscale]{Snips/HeadByHeads.pdf}

\end{multicols}

\end{document}

\endinput