2. logic design vs. visual design
Why not WYSIWYG?
logic design vs. visual design
eg. mathematical notation for inner product (A,B)
see sample2e.tex
define a macro
\newcommand{\ip}[2]{(#1, #2)}
usage
\section{Inner Product}
We define $ \ip{A}{B} = \sum_{i} a_{i} b_{i}$
and we also have: \[
\ip{\Gamma}{\psi'} = x'' + y^{2} + z_{i}^{n} \]
produces

3. change the notation produces
\newcommand{\ip}[2]{\langle #1 | #2\rangle}
produces

4. Mathematical Formulas
\section{Mathematical Formulas}
It is well known that:
\begin{equation}
x = \frac{y+z/2}{y^{2+\sqrt{2}}}
\label{eq:x}
\end{equation}
We clearly see that equation (\ref{eq:x})
is going to change the world!

5. Figures \section{Tables and Figures}
\LaTeX will place figures where it likes them (see Fig.\
\ref{fig:box}).
\begin{figure}
\begin{center}
\fbox{text in a \fbox{box}}
\end{center}
\caption{Text in a box.}
\label{fig:box}
\end{figure}

6. Tables
We can also add a table. Suggest to \LaTeX to put in right here. The
number for the table is \ref{table:t}
\begin{table}[htb]
\begin{center}
\begin{tabular}{c|c|r}
Creature & Count & Cost \\ \hline
gnu & & \$1, \\
gnat & 1,503 & \$ \\
other & & \$ \\ \hline
\end{tabular}
\end{center}
\caption{Cost of Creatures.}
\label{table:t}
\end{table}

7. Figures and Tables

8. Bibliography \section{Transuent Triangles}
In 1962 Cohn \cite{kn:coh62} described
inconsistent canonical forms.
These have an impact on the work by
Suprun \cite{kn:sup95}. These two
articles form the basis of the transeunt
triangle developed by Butler
{\em et al.} \cite{kn:but01}
\cite{kn:but00}.
\bibliographystyle{plain}
\bibliography{rm}

9. rm.bib @article(kn:but00,
Author = "J. T. Butler and G. W. Dueck and V. P. Shmerko and S. N. Yanushkevich",
Title = "Comments on 'Fast exact minimization of fixed polarity Reed-Muller Expansion for symmetric functions'",
Journal = "IEEE Trans. On Computer-Aided Design",
Pages = " ",
Month = "Nov.",
Year = 2000)
@article(kn:but01,
Author = "J. T. Butler and G. W. Dueck and S. N. Yanushkevich and V. P. Shmerko",
Title = "On the number of generators for transeunt triangles",
Journal = "Discrete Applied Mathematics",
Pages = " ",
Year = 2001)
@article(kn:coh62,
Author = "M. Cohn",
Title = "Inconsistent canonical forms of switching functions",
Journal = "IRE Transactions of Electronic Computers",
Pages = " ",
Volume = "EC-11",
Year = 1962)

11. \bibliographystyle{alpha}