\begin{abstract}on the side of nationalism are ranged all the powers of poetry and
song, language and literature, self-love and pride; in its service are
gathered the strongest emotions, worthy as well as base; loyalty and
love as well as lust and hate.  on the other side we have only the
cold light of the human intelligence, warmed by the small fire of
complete unselfishness.  but on this side is truth, and on this side
is God, and either it will prevail or we shall go down into utter
darkness.  (So says Kenneth Boulding, as quoted by Robert Wright in
{\em{}Three Scientists and Their Gods\/})\end{abstract}


\section{Introduction}\label{intro}

this is a file to test and show how this markup system works.

if you want to see a document made with it, then see 
here or  here or
 here.


not sure what it really does.


but there's an easy way to find out!  see Section \ref{intro} and Figure \ref{sphere}.

\begin{enumerate}\item{} \{enumerate ...\} uses the first item

 \item{} whatever it is

 \item{} to separate the items of the list\footnote{wouldn't it be better to
   use a list?  though those bullets do look nice in ascii...}
\end{enumerate}

\begin{description}\item[definitions] a new list type, perhaps should be called
   `descriptions'.

 \item[doubt] infant split personality.

 \item[some stuff] what is stuff?  who can say.  stuff has been here for
   thousands of years.  where did it come from?  somewhere.
   everywhere.
\end{description}

The book {\em{}Discrete Thoughts\/} contains this poem by Antonio Machado:
\begin{quote}the reason people so often lie \\
is that they lack imagination: \\
they don't realize that the truth, too, \\
is a matter of invention. \\
\end{quote}

The following is a \{code ...\} region, presumably for lisp.
\begin{code}(define (foo)
   (whatever))
;; how verbatim is \{code\}
;; (didn't this make <p> b4???)
;; following two lines are blank
;; in source.
\codeskip

(define (bar)
   (somethingelse))
;; next two lines have \{comment\}
{}
{}
(define (qux)
   (nothing))
\end{code}

should write a new lexical environment for C, since C uses \{\}s
frequently:
\begin{code}double pow(double base, int exp) \{{}
   int t, bit = 1;
   int square = base;
   double result = 1.0;

   while (bit $<$= exp) \{{}
      if (bit \& exp)
	 result *= square;
      bit = bit $<$$<$ 1;
      square *= square;
   \}
   return result;
\}
\end{code}

the \{evalsto\} directive is for lisp examples like {\tt{}(+ 1
2)$\rightarrow$3}. this is fine (though not very pretty), but way cooler
would be a macro where you don't have to give the right hand side
because it computes it.  Finally, also interesting would be a
directive that allowed one to show a piece of markup code, and the
effect of executing it side by side.

\subsection{More Stuff}\label{sslabel}

la de da da.  you can  link random
text to arbitrary URLs.  here is some math $\sigma = e^{\pi i}
\bigcup \frac{\Omega}{\Psi}$.  Bibs are supported [Barendregt84, Draves95], though a bibtex gateway would be nice [Futamura71, JoSeSo85, Massalin92].

\begin{figure}\begin{center}\psfig{figure=sphere.ps}\end{center}\caption{\label{sphere}
Caption goes here.}\end{figure}

the \{ps {\em{}filename\/}\} directive takes any postscript file and
renders it with antialiasing, and includes it as a gif file.
specialized directives that draw diagrams and graphs are also
available.

 you can define simple (argumentless) macros with {\tt{}\{def name \{body text\}\}} thus simple simple simple.


\fbox{frame boxes} are implemented with a hack.  {\tt{}as-image} is
for setting whole blocks of markup as images in html: \begin{code}{\tt{}[\negthinspace{}\negthinspace{}\negthinspace{}[}$f${\tt{}]\negthinspace{}\negthinspace{}\negthinspace{}]} $x$ $y$ = {\tt{}[\negthinspace{}\negthinspace{}\negthinspace{}[}{\tt{}[\negthinspace{}\negthinspace{}\negthinspace{}[}$mix${\tt{}]\negthinspace{}\negthinspace{}\negthinspace{}]} $f$ {\tt{}} $x${\tt{}]\negthinspace{}\negthinspace{}\negthinspace{}]} $y$\end{code}.  {\tt{}def} has a
problem with these, if you run markup producing html, and you invoke a
{\tt{}def} inside a {\tt{}as-image}, you get an error.  The work-around is
to markup to latex first.

The definition of {\tt{}[\negthinspace{}\negthinspace{}\negthinspace{}[}semantic brackets{\tt{}]\negthinspace{}\negthinspace{}\negthinspace{}]} have a
problem; depending on the output font you have to adjust the backwards
spacing.  what's the proper tex?
