The figure environment is usually used for the presentation
of diagrams and pictures. Tabular
information should be packaged up using the table environment. Both figures
and tables require titles.
These are produced by the \caption command.
Note that figures and tables
are never split across a page, they are said to ``float''.
Figure 
was produced using the picture environment
while Table was produced using the tabular
environment which allows you to align text within boxed columns.
The source used to produce Table
is as follows:
1
\begin{table}
\centering
\begin{tabular}{|l|l|} \hline\hline
{\em Formatted } & {\em Unformatted} \\ \hline\hline
$A \rightarrow B$ & \verb+$A \rightarrow B$+ \\ \hline
$ \lambda ((x)b)$ & \verb+$ \lambda((x)b)$+ \\ \hline
$ \neg A $ & \verb+$\neg A$+ \\ \hline
$ A \vee B$ & \verb+$A \vee B$+ \\ \hline
$ A \wedge B$ & \verb+$A \wedge B$+ \\ \hline
\end{tabular}
\caption{\label{formulas} Example table}
\end{table}
1.3The references to Table were produced by the
\ref command, for example:
1
The references to Table~\ref{formulas} were produced by the
\verb+\ref+ command, for example:
1.3The \ref command enables relative, as compared to
absolute, referencing. A \ref command takes a
key as its argument. The point of reference, the
table in this case, is indicated by a corresponding
\label command which appears within the table
environment.
For more details on the tabular and picture
environments see the 