\documentstyle[12pt]{article}

\setlength{\oddsidemargin}{0.25in}
\setlength{\textwidth}{6.0in}
\setlength{\topmargin}{0in}
\setlength{\textheight}{8.0in}

\newcommand{\blackslug}{\hbox{\hskip 1pt
        \vrule width 4pt height 8pt depth 1.5pt\hskip 1pt}}
\newcommand{\myQED}{\hfill \blackslug}

\newenvironment{proof}
    {\pagebreak[1]{\narrower\noindent {\bf Proof:\nopagebreak}}}%
    {\myQED}

\newenvironment{proofsk}
    {\pagebreak[1]{\narrower\noindent {\bf Proof (sketch):\nopagebreak}}}%
    {\myQED}

\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{observation}{Observation}

\begin{document}

\begin{center}
{\large \bf
Now We Can Write Titles! \\
(See Below for Details)

\vspace*{0.2in}

Todd Wareham \\
\today
}
\end{center}

Text environments make many things {\em way} easier to in LaTeX. One example
is quotations:

\begin{quotation}
The role of the critic is to help people see what is in the work,
what is in it that shouldn't be, what is not in it that could be.
He is a good critic if he helps people understand more about the 
work than they could see for themselves; he is a great critic,
if by his understanding and feeling for the work, by his passion,
he can excite people so that they want to experience more of the
art that is there, waiting to be seized \ldots He is a bad
critic if he does not awaken the curiosity, enlarge the interests
and understanding of his audience. 

The art of the critic is to
transmit his knowledge of and enthusiasm for art to others.

\hspace*{1.7in} --- Pauline Kael (1919--2001)
\end{quotation}

\noindent
You can also center text, both in sensible fashions like the title-block at the
top of this page and in whimsical ways such as the following:

\begin{center}
Look \\
at that \\
dumb frog sitting \\
on that stupid log. \\
Oh how I hate frogs.
\end{center}

\noindent
The {\tt verbatim} environment is useful for writing simple algorithms:

\begin{verbatim}
    IF x > 0 THEN
        CALL proc1(k)
    ELSE IF x < 0 THEN
        CALL proc2(k)
    ELSE
        ABANDON SHIP! ABANDON SHIP IMMEDIATELY!
\end{verbatim}

\newpage

\noindent
Lists of things are fun too, be they plain bullet-point lists \ldots

\begin{itemize}
\item Item one.
\item Item two.
\item Item three.
\end{itemize}

\noindent
\ldots or enumerated lists \ldots

\begin{enumerate}
\item Item one.
\item Item two.
\item Item three.
\end{enumerate}

\noindent
\ldots or {\tt description}-type lists:

\begin{description}
\item[A.] Item one.
\item[b.] Item two.
\item[$\cal{C}$.] Item three.
\end{description}

\noindent
You can also nest {\tt itemize}-type lists like this

\begin{itemize}
\item Item one.
\item{
Item two:

    \begin{itemize}
    \item Item two, sub-item one.
    \item{
    Item two, sub-item two:

        \begin{itemize}
        \item Item two, sub-item two, sub-sub-item one.
        \item Item two, sub-item two, sub-sub-item two.
        \end{itemize}
    }
    \item Item two, sub-item three.
    \end{itemize}
}
\item Item three.
\end{itemize}

\noindent
or {\tt enumerate}-type lists like this

\begin{enumerate}
\item Item one.
\item{
Item two:

    \begin{enumerate}
    \item Item two, sub-item one.
    \item{
    Item two, sub-item two:

        \begin{enumerate}
        \item Item two, sub-item two, sub-sub-item one.
        \item Item two, sub-item two, sub-sub-item two.
        \end{enumerate}
    }
    \item Item two, sub-item three.
    \end{enumerate}
}
\item Item three.
\end{enumerate}

\noindent
or mixed-type lists like this

\begin{enumerate}
\item Item one.
\item{
Item two:

    \begin{itemize}
    \item Item two, sub-item one.
    \item{
    Item two, sub-item two:

        \begin{enumerate}
        \item Item two, sub-item two, sub-sub-item one.
        \item Item two, sub-item two, sub-sub-item two.
        \end{enumerate}
    }
    \item Item two, sub-item three.
    \end{itemize}
}
\item Item three.
\end{enumerate}

If you're doing a paper with lots of math, the theorem-type environments are
very useful to have around indeed:

\begin{observation}
$\Pi$ are typically not square.
\end{observation}

\begin{lemma}
Socrates is a man.
\end{lemma}

\begin{lemma}
All men are mortal.
\end{lemma}

\begin{theorem}
Socrates is mortal.
\end{theorem}

\begin{proof}
Follows from Lemmas 1 and 2.
\end{proof}

\begin{theorem}[Fermat's First Theorem]
For all $i \in \{1\}$ and $n > 0$, $\sum^n_{j = 1} i^j = n$.
\end{theorem}

\begin{proofsk}
It's all too obvious, really.
\end{proofsk}

\begin{observation}
Fermat's First Theorem is easier to prove than his Last.
\end{observation}

\end{document}