7. Lesson 4: LATEX . . .

You should read Chapter 4 now and note the following key points:

• L^AT_EX articles have two main parts, the preamble and the body;


• we're using the amsart document class, which is just one of many different document classes;


• the preamble includes instructions affecting the document;


• the body is the actual article;


• any images in the article are separate files.

Make sure you've downloaded the following three files:

1. intrart.tex,


2. products.eps,


3. products.pdf,

and placed them into your work folder. Again, you can download the linked files above or just copy them from your Math_into_LaTeX-4 folder.

Let's look at the preamble first.


\documentclass{amsart}
\usepackage{amssymb,latexsym}
\usepackage{graphicx}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{definition}{Definition}
\newtheorem{notation}{Notation}


The \documentclass{amsart} code specifies the format used by most AMS journals. The \usepackage{amssymb,latexsym} code calls two packages that will be needed in this article---just some symbols used in the article. The \usepackage{graphicx} code is being used because we're using graphics. The other four statements are proclamations that define various environments. Don't fret over these details just yet!

Okay, it's time to typeset the intrart.tex article. I'm not interested in the actual content, but more how the L^AT_EX code typesets into such a beautiful article. You'll need to view the intrart.tex source code and pdf output carefully. Again, read the book and note the following points:

• the material before the \maketitle command
  

  
  
\title{A construction of complete-simple\\
distributive lattices}
\author{George~A. Menuhin}
\address{Computer Science Department\\
University of Winnebago\\
Winnebago, MN 53714}
\date{March 15, 2006}

\begin{abstract}
In this note, we prove that there exist
\emph{complete-simple distributive lattices,}
that is, complete distributive lattices
with only two complete congruences.
\end{abstract}

  

  
  is important and can easily be changed to your particular case. I strongly recommend that you comment out the \maketitle (i.e. change to %\maketitle) code in the article and re-typeset to see what happens. Also, try deleting \\ code in the title text and see what happens.


• \section{some name} defines a section and sections can have \label{S:ref} reference labels;


• definition, notation, theorem, figure, proof ,thebibliography, and equation environments have a begin and an end as follows:
  

  
  
\begin{environment}
\end{environment}

  

  
  and can also have \label{D:ref} reference labels, the D here is used for definitions, so it might be wise to make note of the other code letters this author is using. Please try to be consistent, and I think following this author's conventions will prove helpful. Yes, please make note of each.
  


• Carefully study the bibliography format.

Again, I know it's not easy reading this code. But if you look carefully at this code I think you'll be able to make sense out of it.

[ASSIGNMENT 5, 40%]: The fifth and final hand-in assignment is to typeset an article using the same format as the intrart.tex example. Yes, you'll need to do all the L^AT_EX coding yourself, but you can follow the same format that was used in the intrart.tex example. Okay, your work here will mainly depend on your mathematical interest and ability. Even a basic article on something that interests you is perfectly fine. You don't need to use graphics, but you can if you like. Again, you may have to look up some commands---look in your book! If you're really pulling your hair out you can email me. I can, if prodded, create graphs for your project . . . just ask and I'll see if I can help.

When you're done, please email a copy of both the source and output (pdf) to assignments@mathography.org.