post-formalism memories almost first pass

1 files changed, 50 insertions, 0 deletions

diff --git a/essays/innperseqs.diag.otx b/essays/innperseqs.diag.otx
new file mode 100644
index 0000000..4a07122
--- /dev/null
+++ b/essays/innperseqs.diag.otx
@@ -0,0 +1,50 @@
+\newcommand{\innprow}[4]{
+	\parbox{2.25in}{
+		\parbox{0.35in}{\includegraphics[scale=0.25]{img/time#1}}
+		\parbox{0.5in}{#2:}
+		\parbox{1.25in}{
+			\parbox{1.25in}{#3}
+
+			\parbox{1.25in}{#4}}}\vskip 0.5em}
+
+\begin{figure}
+{\centering
+	\parbox{0.15in}{\rotatebox[origin=c]{90}{\
+	{\footnotesize Successive bands represent the vague outer ring at successive times as it fades in toward the small bright light.}}}\begin{minipage}{1.5in}
+		\imgw{1.3in}{img/innperseqs}\vskip 0.1em {\centering\small small bright light \par}
+	\end{minipage}\begin{minipage}{2in}
+\dq{Sentences} at 
+\vskip 1em
+
+	\innprow{1}{$time_1$}{$a_1 a_2 a_3 a_4 a_5 a_6 a_7 b$}{$a_1,a_2 \rightarrow\ b$}
+
+	\innprow{2}{$time_2$}{$a_2 a_3 a_4 a_5 a_6 a_7 b c$}{$a_3 \rightarrow\ c$}
+
+	\innprow{3}{$time_3$}{$a_4 a_5 a_6 a_7 b c d$}{$a_4,a_5 \rightarrow\ d$}
+
+	\innprow{4}{$time_4$}{$a_6 a_7 b c d e$}{$a_6,b \rightarrow\ e$}
+
+	\innprow{5}{$time_5$}{$a_7 b c d e f$}{$a_7,c \rightarrow\ f$}
+
+	\innprow{6}{$time_6$}{$c d e f g$}{$d,e \rightarrow\ g$}
+
+	\vskip 2em
+
+\dq{Axioms} \\
+	\hskip 1em $a_1 a_2 a_3 a_4 a_5 a_6 a_7$ 
+
+	\vskip 2em
+
+Innperseq \\
+$(a_3,a_2,a_1)$ \\
+$(b,a_3)$ \\
+$(c,a_5,a_4)$ \\
+$(d,b,a_6)$ \\
+$(e,c,a_7)$ \\
+$(f,e,d)$ \\
+$(g)$ 
+	\end{minipage}\par}
+	\vskip 1em
+	\caption{Example instance of \sysname{Innperseqs.}}
+	\label{innperdiag}
+\end{figure}