From 9e8f9a2d321e776e532dbbb32727d2b35bd5ad83 Mon Sep 17 00:00:00 2001
From: mainzelm <mainzelm>
Date: Wed, 5 Dec 2001 17:50:57 +0000
Subject: [PATCH] Forgotten file.

---
 doc/src/latex-stuff.tex | 45 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 doc/src/latex-stuff.tex

diff --git a/doc/src/latex-stuff.tex b/doc/src/latex-stuff.tex
new file mode 100644
index 0000000..9ceb43d
--- /dev/null
+++ b/doc/src/latex-stuff.tex
@@ -0,0 +1,45 @@
+
+% Latex macros for The Scheme of Things
+
+\newcommand{\ev}{\hbox{$\longrightarrow$}}
+\newcommand{\asterisk}{\hbox{$\ast$}}
+\newcommand{\foo}{\discretionary{}{}{}}
+\newcommand{\var}[1]{\hbox{\em{}#1}}
+\newcommand{\piece}[1]{\subsubsection*{#1}}
+\newcommand{\syn}[1]{\hbox{$\langle$\rm#1$\rangle$}}
+\newcommand{\xform}{\hbox{$\Longrightarrow$}}
+\newcommand{\etc}{$\ldots$}
+\newcommand{\ok}{\discretionary{}{}{}}
+
+\newcommand{\separator}{
+\vspace{1ex}
+\begin{center}
+\noindent \asterisk\hspace{1em}\asterisk\hspace{1em}\asterisk
+\end{center}
+\vspace{1ex}}
+
+
+% -----------------------------------------------------------------------------
+  %% doframeit draws a box around it argument by manipulating boxes.  It
+  %% is used in the frame environments.
+  %% 
+  %%  Rene' Seindal (seindal@diku.dk) Fri Feb 12 16:03:07 1988
+  %%  added \fboxrule and \fboxsep to \doframeit
+
+\def\doframeit#1{\vbox{%
+  \hrule height\fboxrule
+    \hbox{%
+      \vrule width\fboxrule \kern\fboxsep
+      \vbox{\kern\fboxsep #1\kern\fboxsep }%
+      \kern\fboxsep \vrule width\fboxrule }%
+    \hrule height\fboxrule }}
+
+  %% The frameit and Frameit environments formats text within a single 
+  %% Anything can be framed, including verbatim text.
+
+\def\frameit{\smallskip \advance \linewidth by -7.5pt \setbox0=\vbox \bgroup
+\strut \ignorespaces }
+
+\def\endframeit{\ifhmode \par \nointerlineskip \fi \egroup
+\doframeit{\box0}}
+% -----------------------------------------------------------------------------