\documentclass[10pt,notitlepage]{article}
\usepackage{amsmath,graphicx,amssymb,color,datetime}
\usepackage[setpagesize=false]{hyperref}

\paperwidth 8.5in
\paperheight 11in
\textwidth 8.5in
\textheight 11in
\oddsidemargin -1in
\evensidemargin \oddsidemargin
\topmargin -1in
\headheight 0in
\headsep 0in
\footskip 0in
\parindent 0in
\setlength{\topsep}{0pt}
\pagestyle{empty}

\def\blue{\color{blue}}
\def\red{\color{red}}

\newcommand{\im}{\operatorname{im}}

\def\navigator{{Dror Bar-Natan: Talks: ClassroomAdventures-1401:}}

\def\webdef{{$\omega:=$\url{http://www.math.toronto.edu/~drorbn/Talks/ClassroomAdventures-1401}}}
\def\w#1{{\href{http://www.math.toronto.edu/drorbn/Talks/ClassroomAdventures-1401/#1}{$\omega$/#1}}}

\def\Abstract{{\raisebox{2mm}{\parbox[t]{4in}{
{\red Abstract.} Much as we can understand 3-dimensional objects by staring
at their pictures and x-ray images and slices in 2-dimensions, so can we
understand 4-dimensional objects by staring at their pictures and x-ray
images and slices in 3-dimensions, capitalizing on the fact that we
understand 3-dimensions pretty well. So we will spend some time staring at
and understanding various 2-dimensional views of a 3-dimensional elephant,
and then even more simply, various 2-dimensional views of some
3-dimensional knots. This achieved, we'll take the leap and visualize some
4-dimensional knots by their various traces in 3-dimensional space, and
this achieved, I will tell you about the simplest problem in 4-dimensional
knot theory whose solution I don't know.
}}}}

\def\NotT{{\raisebox{2mm}{\parbox[t]{0.875in}{\begin{center}
``The third dimension isn't $t$''
\end{center}}}}}

\def\Conjecture{{\raisebox{2mm}{\parbox[t]{4in}{
\parshape 6 0pt 3.0in 0pt 3.0in 0pt 3.0in 0pt 3.0in 0pt 3.0in 0pt 4in
{\red Satoh's Conjecture.} (Satoh, {\em Virtual Knot Presentations of Ribbon
Torus-Knots,} J.~Knot Theory and its Ramifications {\bf 9} (2000) 531--542).
Two long w-knot diagrams represent via the double inflation map $\delta$
the same long 2D knotted tube in 4D iff they differ by a sequence of the
``w-moves'' R1--R3, VR1--VR3, D and OC listed below.
}}}}

\def\Reidemeister{{\raisebox{2mm}{\parbox[t]{3in}{
{\red Reidemeister' Theorem.} Two knot diagrams represent the same 3D knot
iff they differ by a sequence of ``Reidemester moves'':
}}}}

\def\wM{{\raisebox{2mm}{\parbox[t]{2.5in}{
{\red w-Moves.} Same R1, R2, R3 as above, and also:
}}}}

\def\Books{{\raisebox{2mm}{\parbox[t]{4in}{
{\red Some knot theory books.}
\par Colin C.~Adams, {\em The Knot Book, an Elementary Introduction to the
Mathematical Theory of Knots,} American Mathematical Society, 2004.
\par Meike Akveld and Andrew Jobbings, {\em Knots Unravelled, from Strings
to Mathematics,} Arbelos 2011.
\par J.~Scott Carter and Masahico Saito, {\em Knotted Surfaces and Their
Diagrams,} American Mathematical Society, 1997.
\par Peter Cromwell, {\em Knots and Links,} Cambridge University Press,
2004.
\par W.B.~Raymond Lickorish, {\em An Introduction to Knot Theory,} Springer
1997.
}}}}

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

\begin{center}
\null\vfill
\input{Vis4D1.pstex_t}
\vfill\null
\newpage
\null\vfill
\input{Vis4D2.pstex_t}
\vfill\null
\end{center}

\end{document}

\endinput