% LaTeX
\documentclass[leqno]{article}
\usepackage[utf8x]{inputenc}
\usepackage{ucs}
\usepackage{url}
\usepackage{braket}
\usepackage{graphicx}
\usepackage[intlimits]{amsmath}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{bm}
\usepackage{gellmu2}
\usepackage[margin=100bp,nohead]{geometry}
\setlength{\parskip}{6bp}
\setlength{\parindent}{0bp}
\pagestyle{plain}
\thispagestyle{empty}
\title{A Silly Little GELLMU Article}
\date{revised March 25, 2006}
\newlength{\centerskip}
\setlength{\centerskip}{\topsep}
\newcommand{\hsf}{\hspace*{\fill}}
\newcommand{\tdbc}[1]{\hsf\textbf{#1}\hsf}
\author{William F. Hammond}
\begin{document}
\begin{center}\LARGE\bfseries{}
A Silly Little GELLMU Article
\end{center}
\begin{center}\Large\bfseries{}
\textsl{William F. Hammond}
\end{center}
\begin{center}
\large\bfseries{}
revised March 25, 2006
\end{center}

\medskip
\par{This is the simplest possible type of article.    Its body consists of just a few paragraphs.    It is a \textsc{GELLMU} document.    \textsc{GELLMU} stands for ``Generalized Extensible \LaTeX{}-Like Markup''.
}
\par{\textsc{GELLMU} is designed to admit \textbf{completely} automated translation into many document languages.   Classical \LaTeX{} does not have that property; but some \LaTeX{} documents do when imported under \textsc{GELLMU}.   Yet \textsc{GELLMU} is really no more difficult to edit than \LaTeX{}.
}
\par{It is relatively easy for a sophisticated \textsc{GELLMU} user with freely available software to add \LaTeX{}-like commands to \textsc{GELLMU}.
}
\par{There is no organization of this article into sections.    The \emph{content model} for this type of document (\textsc{GELLMU} ``article'') provides that the document body be organized either into one or more sections, which may be preceded and followed by paragraphs outside those sections, or that the document body simply be organized into \textsl{one} or more paragraphs.  
}
\par{One thing to notice is that the generalized \LaTeX{} markup allows new paragraphs to be opened with the appearance of a blank line in the marked up document.  
}
\par{Another thing to notice is that \begin{center}
\verb+"\begin{par} ... \end{par}"+
\end{center} and \begin{center}
\verb+"\par{ ... }"+
\end{center} are essentially equivalent forms of markup in \textsc{GELLMU}.    That is, \textsc{GELLMU} markup, which is essentially a markup under \textsc{SGML} does not provide its own concept of ``environment'' although it supports \LaTeX{}-like environmental markup.  
}
\par{Just as with \TeX{} or \LaTeX{} it is easy to provide a mathematical formula, such as \(y \, = \, x^{3}/(x^{2} + 1)\)\@,  either inline or displayed.   
}
\par{This paragraph contains a math display involving the same formula: \[ y \ = \  \frac{x^{3}}{x^{2} + 1} \ \ .\] Here is a gratuitous inline radical: \(\sqrt[3]{2}\)\@. \ 
}
\par{The current version of the didactic \textsc{GELLMU} ``article'' definition supports simple mathematical commands such as \texttt{"frac"}, \texttt{"sum"}, \texttt{"int"}, and \texttt{"prod"}, and provides some \texttt{"table"} support.     Table models are close adaptations of the early \textsc{HTML} table model, and there is near emulation of \LaTeX{}'s ``tabular'' model.  
}
\par{The square root of a compound fraction: \[ \sqrt{\frac{\frac{a}{b}}{\frac{c}{d}}} \ \ \ \ . \]
}
\par{This math display was marked up with: \begin{menulist}
\item\texttt{}\verb+\+\texttt{[\ }\verb+\+\texttt{sqrt}\verb+{+\texttt{}\verb+\+\texttt{frac}\verb+{+\texttt{}\verb+\+\texttt{frac}\verb+{+\texttt{a}\verb+}+\texttt{}\verb+{+\texttt{b}\verb+}+\texttt{}\verb+}+\texttt{}\verb+{+\texttt{}\verb+\+\texttt{frac}\verb+{+\texttt{c}\verb+}+\texttt{}\verb+{+\texttt{d}\verb+}+\texttt{}\verb+}+\texttt{}\verb+}+\texttt{\ }\verb+\+\texttt{\ }\verb+\+\texttt{\ }\verb+\+\texttt{eos\ }\verb+\+\texttt{]}
\end{menulist}
}
\par{The markup \emph{eos} for ``end-of-sentence'' is used instead of `.' in order to signal a semantic parser that it is not part of the mathematical content of the display.  
}
\par{Next we present the formula for solving the general quadratic equation: \[ a x^{2} + b x + c \ = \  0 \ \ . \] Its solution is marked up with: \begin{menulist}
\item\texttt{}\verb+\+\texttt{[\ x\ =\ }\verb+\+\texttt{frac}\verb+{+\texttt{-b\ }\verb+\+\texttt{pm\ }\verb+\+\texttt{sqrt}\verb+{+\texttt{b\string^2\ -\ 4\ a\ c}\verb+}+\texttt{}\verb+}+\texttt{}\verb+{+\texttt{2\ a}\verb+}+\texttt{\ }\verb+\+\texttt{eos\ }\verb+\+\texttt{]}
\end{menulist} to give \[ x \ = \  \frac{-b \pm{} \sqrt{b^{2} - 4 a c}}{2 a} \ \ . \]
}
\par{And we offer the Taylor series of the \emph{exponential} function: \[ e^{t} \ = \  \sum_{k = 0}^{\infty{}} {\, \frac{t^{k}}{k!}} \ \ , \] which is created with the markup: \begin{menulist}
\item\texttt{}\verb+\+\texttt{[\ e\string^t\ =\ }\verb+\+\texttt{sum}\verb+{+\texttt{\_}\verb+{+\texttt{k\ =\ 0}\verb+}+\texttt{\string^}\verb+{+\texttt{}\verb+\+\texttt{infty}\verb+}+\texttt{\ }\verb+\+\texttt{,\ }\verb+\+\texttt{frac}\verb+{+\texttt{t\string^k}\verb+}+\texttt{}\verb+{+\texttt{k!}\verb+}+\texttt{}\verb+}+\texttt{\ }\verb+\+\texttt{\ }\verb+\+\texttt{\ }\verb+\+\texttt{cma\ }\verb+\+\texttt{]}
\end{menulist}
}
\par{To be sure that \texttt{"frac"} is working recursively, we try \begin{menulist}
\item\texttt{}\verb+\+\texttt{[}\verb+\+\texttt{frac}\verb+{+\texttt{1\ +\ }\verb+\+\texttt{sqrt}\verb+{+\texttt{5}\verb+}+\texttt{}\verb+}+\texttt{}\verb+{+\texttt{2}\verb+}+\texttt{\ =}
\item\texttt{\ \ \ \ \ 1\ +\ }\verb+\+\texttt{frac}\verb+{+\texttt{1}\verb+}+\texttt{}\verb+{+\texttt{1+}\verb+\+\texttt{frac}\verb+{+\texttt{1}\verb+}+\texttt{}\verb+{+\texttt{1+}\verb+\+\texttt{frac}\verb+{+\texttt{1}\verb+}+\texttt{}\verb+{+\texttt{1+}\verb+\+\texttt{frac}\verb+{+\texttt{1}\verb+}+\texttt{}\verb+{+\texttt{1+}\verb+\+\texttt{ldots;}\verb+}+\texttt{}\verb+}+\texttt{}\verb+}+\texttt{}\verb+}+\texttt{\ }\verb+\+\texttt{eos\ }\verb+\+\texttt{]}
\end{menulist} for the continued fraction expansion of the \emph{golden mean}, and this yields: \[\frac{1 + \sqrt{5}}{2} \ = \       1 + \frac{1}{1+\frac{1}{1+\frac{1}{1+\frac{1}{1+\ldots{}}}}} \ \ . \]
}
\par{It is important to understand what is or is not happening here.    The mathematical markup is rather \LaTeX{}-like.    In fact, only the markup for \texttt{"}\verb+\+\texttt{sum"} is slightly different from the mathematical markup used with \LaTeX{}.    That is because it is essential in \textsc{GELLMU} to have a precise location for the end of that which is being summed\footnote{The reason is that the exact end location for \texttt{"\textbackslash{}sum"} is not deducible merely from the \emph{syntax} of its markup but requires a knowledge of the command name \emph{sum}.    This is always the case for a command with more than one argument.    For some such commands it is inconsequential because the location of the end is determined automatically at the second stage of processing with sufficient precision.    Where greater precision is needed, however, it must be provided in input markup since the first stage of processing is allowed to know only syntax.  }.  
}
\par{One way for a mathematician to view the difference between \textsc{GELLMU}, \LaTeX{} and \textsc{HTML} is to think about ``rational maps of algebraic surfaces''.    If one wishes to have an automatic translator from \LaTeX{} to \textsc{HTML} (or even to \textsc{HTML} with provision for mathematical notation), there will be places where the transformation is singular and fails.    Such singularities may be resolved by moving to a markup designed to ``dominate'' both targets.  
}
\par{I never intend to provide more than a \emph{didactic} definition of ``article'' inasmuch as it is my opinion that each author or work group of authors will ultimately find it essential, just as now they find essential the \texttt{}\verb+\+\texttt{newcommand} feature of \LaTeX{}, to be able to provide customization.    \emph{Customization} is ever so much more important in \textsc{GELLMU} than in \LaTeX{} because under this design there will never be a full set of ultimate target formats.    With \LaTeX{} customization is primarily a matter of authoring convenience; under \textsc{GELLMU} customization is required in order to be able to service all of the desired target formats.  
}
\par{Beyond that an author or work group may hope to design a definition of ``article'' (or of another document type) that is robust for almost any \emph{conceivable} target format by thinking carefully about all possible ``content'' distinctions relevant to his, her, or its current authoring context.    To the extent that this design meets that goal, the author or work group will have no need to revisit old documents in order to be able to have automatic processing to new formats.   
}

\bigskip
\setlength{\parindent}{0bp}

Document network address for HTML:\\{}
\ \ \verb|http://www.albany.edu/~hammond/gellmu/|
\end{document}