summaryrefslogtreecommitdiff
path: root/info/examples/Practical_LaTeX
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /info/examples/Practical_LaTeX
Initial commit
Diffstat (limited to 'info/examples/Practical_LaTeX')
-rw-r--r--info/examples/Practical_LaTeX/FurtherReading.pdfbin0 -> 204015 bytes
-rw-r--r--info/examples/Practical_LaTeX/README29
-rw-r--r--info/examples/Practical_LaTeX/SymbolTables.pdfbin0 -> 493143 bytes
-rw-r--r--info/examples/Practical_LaTeX/babybeamera.tex16
-rw-r--r--info/examples/Practical_LaTeX/babybeamerb.tex17
-rw-r--r--info/examples/Practical_LaTeX/babybeamerb.toc1
-rw-r--r--info/examples/Practical_LaTeX/babybeamerc.tex18
-rw-r--r--info/examples/Practical_LaTeX/babybeamerd.tex19
-rw-r--r--info/examples/Practical_LaTeX/babybeamerg.tex21
-rw-r--r--info/examples/Practical_LaTeX/beamerstructure1.tex54
-rw-r--r--info/examples/Practical_LaTeX/beamerstructure2.tex159
-rw-r--r--info/examples/Practical_LaTeX/code.tex211
-rw-r--r--info/examples/Practical_LaTeX/covers.pdfbin0 -> 14370 bytes
-rw-r--r--info/examples/Practical_LaTeX/firstdocument.tex78
-rw-r--r--info/examples/Practical_LaTeX/firstdocumentb.tex68
-rw-r--r--info/examples/Practical_LaTeX/firstdocumentill.tex85
-rw-r--r--info/examples/Practical_LaTeX/firstdocumentmod.tex88
-rw-r--r--info/examples/Practical_LaTeX/formulanote.tex20
-rw-r--r--info/examples/Practical_LaTeX/formulanotebad1.tex20
-rw-r--r--info/examples/Practical_LaTeX/sample.cls657
-rw-r--r--info/examples/Practical_LaTeX/textnote1.tex15
-rw-r--r--info/examples/Practical_LaTeX/textnote1bad.tex15
-rw-r--r--info/examples/Practical_LaTeX/textnote2.tex15
23 files changed, 1606 insertions, 0 deletions
diff --git a/info/examples/Practical_LaTeX/FurtherReading.pdf b/info/examples/Practical_LaTeX/FurtherReading.pdf
new file mode 100644
index 0000000000..d4caf41c8d
--- /dev/null
+++ b/info/examples/Practical_LaTeX/FurtherReading.pdf
Binary files differ
diff --git a/info/examples/Practical_LaTeX/README b/info/examples/Practical_LaTeX/README
new file mode 100644
index 0000000000..3b27a7640f
--- /dev/null
+++ b/info/examples/Practical_LaTeX/README
@@ -0,0 +1,29 @@
+
+Sample files for the book:
+Practical LaTeX, Springer Verlag, New York, 2014
+These files are in the Public Domain
+
+Version: 2014-03-10
+
+ sample.cls
+ babybeamera.tex
+ babybeamerb.tex
+ babybeamerb.toc
+ babybeamerc.tex
+ babybeamerd.tex
+ babybeamerg.tex
+ beamerstructure1.tex
+ beamerstructure2.tex
+ code.tex
+ covers.pdf
+ firstdocument.tex
+ firstdocumentb.tex
+ firstdocumentill.tex
+ firstdocumentmod.tex
+ formulanote.tex
+ formulanotebad1.tex
+ FurtherReading.pdf
+ SymbolTables.pdf
+ textnote1.tex
+ textnote1bad.tex
+ textnote2.tex
diff --git a/info/examples/Practical_LaTeX/SymbolTables.pdf b/info/examples/Practical_LaTeX/SymbolTables.pdf
new file mode 100644
index 0000000000..4efc6a96b3
--- /dev/null
+++ b/info/examples/Practical_LaTeX/SymbolTables.pdf
Binary files differ
diff --git a/info/examples/Practical_LaTeX/babybeamera.tex b/info/examples/Practical_LaTeX/babybeamera.tex
new file mode 100644
index 0000000000..34d6e01350
--- /dev/null
+++ b/info/examples/Practical_LaTeX/babybeamera.tex
@@ -0,0 +1,16 @@
+% babybeamera presentation
+
+\documentclass{beamer}
+
+\begin{document}
+
+\begin{frame}
+\frametitle{Some background}
+
+\only<1,2>{We start our discussion with some concepts.}
+
+\only<2>{The first concept we introduce originates with Erd\H os.}
+\end{frame}
+\end{document}
+
+
diff --git a/info/examples/Practical_LaTeX/babybeamerb.tex b/info/examples/Practical_LaTeX/babybeamerb.tex
new file mode 100644
index 0000000000..c5355d20e2
--- /dev/null
+++ b/info/examples/Practical_LaTeX/babybeamerb.tex
@@ -0,0 +1,17 @@
+% babybeamerb presentation
+
+\documentclass{beamer}
+
+\begin{document}
+
+\begin{frame}
+\frametitle{Overlaying lists}
+
+We introduce our guests:
+\begin{itemize}
+\item<1-> R. Padmanabhan
+\item<2-> Brian Davey
+\end{itemize}
+\end{frame}
+\end{document}
+
diff --git a/info/examples/Practical_LaTeX/babybeamerb.toc b/info/examples/Practical_LaTeX/babybeamerb.toc
new file mode 100644
index 0000000000..377212e6e5
--- /dev/null
+++ b/info/examples/Practical_LaTeX/babybeamerb.toc
@@ -0,0 +1 @@
+\beamer@endinputifotherversion {3.26pt}
diff --git a/info/examples/Practical_LaTeX/babybeamerc.tex b/info/examples/Practical_LaTeX/babybeamerc.tex
new file mode 100644
index 0000000000..bda823989c
--- /dev/null
+++ b/info/examples/Practical_LaTeX/babybeamerc.tex
@@ -0,0 +1,18 @@
+% babybeamerc presentation
+
+\documentclass{beamer}
+
+\begin{document}
+
+\begin{frame}
+\frametitle{Overlaying lists}
+
+We introduce our guests:
+\begin{itemize}[<+->]
+\item R. Padmanabhan
+\item Brian Davey
+\item Harry Lakser
+\end{itemize}
+\end{frame}
+\end{document}
+
diff --git a/info/examples/Practical_LaTeX/babybeamerd.tex b/info/examples/Practical_LaTeX/babybeamerd.tex
new file mode 100644
index 0000000000..5aa0f445fd
--- /dev/null
+++ b/info/examples/Practical_LaTeX/babybeamerd.tex
@@ -0,0 +1,19 @@
+% babybeamerd presentation
+
+\documentclass{beamer}
+
+\begin{document}
+
+\begin{frame}
+\frametitle{Overlaying declarations and graphics}
+
+\begin{theorem}<1->
+Every finite distributive lattice can be embedded in a boolean lattice.
+\end{theorem}
+\begin{proof}<3->
+Use join-irreducible elements.
+\end{proof}
+\onslide<2->{\includegraphics{cube}}
+\end{frame}
+\end{document}
+
diff --git a/info/examples/Practical_LaTeX/babybeamerg.tex b/info/examples/Practical_LaTeX/babybeamerg.tex
new file mode 100644
index 0000000000..92bc22888b
--- /dev/null
+++ b/info/examples/Practical_LaTeX/babybeamerg.tex
@@ -0,0 +1,21 @@
+% babybeamerg presentation
+
+\documentclass{beamer}
+
+\begin{document}
+
+\begin{frame}
+%\begin{overprint}
+\includegraphics<1>{basem3-1}
+
+\includegraphics<2>{basem3-2}
+
+\includegraphics<3>{basem3-3}
+
+\includegraphics<4>{basem3-4}
+%\end{overprint}
+
+\end{frame}
+
+\end{document}
+
diff --git a/info/examples/Practical_LaTeX/beamerstructure1.tex b/info/examples/Practical_LaTeX/beamerstructure1.tex
new file mode 100644
index 0000000000..8b403e9f35
--- /dev/null
+++ b/info/examples/Practical_LaTeX/beamerstructure1.tex
@@ -0,0 +1,54 @@
+% beamerstructure1 presentation
+
+\documentclass{beamer}
+\usetheme{Berkeley}
+
+\begin{document}
+
+\begin{frame}
+\frametitle{Outline}
+
+\tableofcontents[pausesections, pausesubsections]
+\end{frame}
+
+\section[Sec1]{Section 1}
+
+\begin{frame}
+\frametitle{Section 1}
+
+Text of Section 1
+\end{frame}
+
+\subsection[Sec1 Subsec1]{Section 1 -- Subsection 1}
+
+\begin{frame}
+\frametitle{Section 1\\Subsection 1}
+
+Text of Section 1, Subsection 1
+\end{frame}
+
+\subsection[Sec1 Subsec2]{Section 1 -- Subsection 2}
+
+\begin{frame}
+\frametitle{Section 1\\Subsection 2}
+
+Text of Section 1, Subsection 2
+\end{frame}
+
+\subsection[Sec1 Subsec3]{Section 1 -- Subsection 3}
+
+\begin{frame}
+\frametitle{Section 1\\Subsection 3}
+
+Text of Section 1, Subsection 3
+\end{frame}
+
+\section[Sec2]{Section 2}
+
+\begin{frame}
+\frametitle{Section 2}
+
+Text of Section 2
+\end{frame}
+\end{document}
+
diff --git a/info/examples/Practical_LaTeX/beamerstructure2.tex b/info/examples/Practical_LaTeX/beamerstructure2.tex
new file mode 100644
index 0000000000..86009c7af8
--- /dev/null
+++ b/info/examples/Practical_LaTeX/beamerstructure2.tex
@@ -0,0 +1,159 @@
+% beamerstructure2 presentation
+
+\documentclass{beamer}
+\usetheme{Warsaw}
+
+\setbeamertemplate{navigation symbols}{}
+\title{Sectionally complemented chopped lattices}
+\author{George Gr\"atzer\inst{1}
+\and Harry Lakser\inst{1}
+\and Michael Roddy\inst{2}}
+\institute{\inst{1} University of Manitoba
+\and \inst{2} Brandon University}
+\date{Conference on Lattice Theory, 2006}
+%Note that multiple authors are separated by \verb+\and+ and so are
+%the various institutions. The \verb+\date+ command is treated as a
+%footnote.
+
+\begin{document}
+
+\begin{frame}
+\titlepage
+\end{frame}
+
+%To show an outline of the whole presentation, we have to fake it.
+%The command \verb+\tableofcontents+ provides you with the Table of
+%Contents of the whole presentation only if there are no parts.
+%With an optional argument, it can also provide the Table of Contents
+%of a specific part: \verb+\tableofcontents[part=3]+ is the
+%Table of Contents of Part 3. We also use the \ttt{pausesections}
+%option.
+
+%The Table of Contents of the whole presentation is given in an
+%unnumbered section and three unnumbered subsections.
+
+\section*{Outline}
+
+\subsection*{Part I: Background}
+
+\begin{frame}
+\frametitle{Outline of Part I: Background}
+
+\tableofcontents [part=1,pausesections]
+\end{frame}
+
+\subsection*{Part II: Characterizing the 1960 sectional complement}
+
+\begin{frame}
+\frametitle{Outline of Part II: Characterizing the\\1960 sectional complement}
+
+\tableofcontents[part=2,pausesections]
+\end{frame}
+
+\subsection*{Part III: The general problem}
+
+\begin{frame}
+\frametitle{Outline of Part III: The general problem}
+
+\tableofcontents[part=3,pausesections]
+\end{frame}
+
+%Now come the three parts. Each part is introduced with two frames:
+%the first with \verb+\partpage+ (which is the ``titlepage'' for the
+%part) and the second with the command \verb+\tableofcontents+
+%(for the part).
+
+%We provide each section with a frame to activate it.
+
+\part{Background}
+
+\begin{frame}
+\partpage
+\end{frame}
+
+\begin{frame}
+\frametitle{Part I\\Outline}
+
+\tableofcontents
+\end{frame}
+
+\section{Chopped lattices}
+
+\begin{frame}
+\frametitle{Defining chopped lattices}
+
+Starting the definitions
+\end{frame}
+
+\section{Ideals and congruences}
+
+\begin{frame}
+\frametitle{Ideals}
+
+Continuing the definitions
+\end{frame}
+
+\part{Characterizing the 1960 sectional complement}
+
+\begin{frame}
+\partpage
+\end{frame}
+
+\begin{frame}
+\frametitle{Part II\\Outline}
+
+\tableofcontents
+\end{frame}
+
+\section{What it is not}
+
+\begin{frame}
+\frametitle{Not maximal, minimal, or fixed point}
+
+Counterexamples
+\end{frame}
+
+\section{The characterization theorem}
+
+\begin{frame}
+\frametitle{The main result}
+
+State the characterization theorem
+\end{frame}
+
+\part{The general problem}
+
+\begin{frame}
+\partpage
+\end{frame}
+
+\begin{frame}
+\frametitle{Part III\\Outline}
+
+\tableofcontents
+\end{frame}
+
+\section{The Lakser Theorem}
+
+\begin{frame}
+\frametitle{The problem}
+
+Stating the general problem and Harry's observation
+\end{frame}
+
+\section{A small counterexample}
+
+\begin{frame}
+\frametitle{Four-element overlap}
+
+Counterexample
+\end{frame}
+
+\section{A cyclic counterexample}
+
+\begin{frame}
+\frametitle{Three cycle}
+
+Cyclic counterexample
+\end{frame}
+\end{document} \ No newline at end of file
diff --git a/info/examples/Practical_LaTeX/code.tex b/info/examples/Practical_LaTeX/code.tex
new file mode 100644
index 0000000000..dfdfbbe06c
--- /dev/null
+++ b/info/examples/Practical_LaTeX/code.tex
@@ -0,0 +1,211 @@
+\documentclass{sample}
+\usepackage{tikz}
+\usetikzlibrary{calc}
+\usetikzlibrary{chains}
+\usepackage{verbatim}
+\usepackage[active,tightpage]{preview}
+\PreviewEnvironment{tikzpicture}
+\setlength\PreviewBorder{10pt}%
+\usepackage[europeanresistors,americaninductors]{circuitikz}
+\usetikzlibrary{chains}
+
+
+\begin{document}
+Figure 9.3:
+
+% Generalized diagram of different components inside an AC drive
+% with voltage intermediate circuit
+% Author: Erno Pentzin (2013)
+
+\begin{comment}
+:Title: AC drive components
+:Tags: Electrical engineering;Chains;circuitikz
+:Author: Erno Pentzin
+:Slug: ac-drive-components
+
+Generalized diagram of different components inside an AC drive
+with voltage intermediate circuit
+\end{comment}
+\renewcommand*{\familydefault}{\sfdefault}
+
+\begin{tikzpicture}[
+ start chain=going right,
+ box/.style={
+ on chain,join,draw,
+ minimum height=3cm,
+ text centered,
+ minimum width=2cm,
+ },
+ every join/.style={ultra thick},
+ node distance=5mm
+]
+
+\node [on chain] {AC in}; % Chain starts here
+
+\node [box,xshift=5mm,label=above:Rectifier] (rec) {
+ \begin{circuitikz}
+ \draw (0,0) to[Do] (0,2);
+ \end{circuitikz}
+};
+
+\node [on chain,join,draw,
+ text width=1cm,
+ minimum width=4cm,
+ minimum height=1.6cm,
+ label=above:Intermediate circuit,
+] (ic) {
+ \begin{circuitikz}[american voltages]
+ \draw (0,0) to[pC,v>=$ $] (0,2);
+ \end{circuitikz}
+};
+
+\node [box,label=above:Inverter] (inv) {
+ \begin{circuitikz}
+ \draw (0,0) node[nigbt] {};
+ \end{circuitikz}
+};
+
+\node [on chain,join,xshift=5mm]{AC out};
+% Chain ends here
+
+% CU box
+\node [
+ rectangle,draw,
+ below=5mm of ic,
+ minimum width=10cm,
+ minimum height=1cm,
+] (cu) {\textbf{Control unit}};
+
+% PU box
+\node [
+ rectangle,draw,
+ above=2mm of cu,
+ minimum width=10cm,
+ minimum height=4cm,
+ label=\textbf{Power unit},
+] (pu) {};
+
+% Connections between CU and PU
+\draw[<->] (rec.south) -- ++(0,-5mm);
+\draw[<->] (cu.north) to (ic.south);
+\draw[<->] (inv.south) -- ++(0,-5mm);
+
+\end{tikzpicture}
+
+Figure 9.4:
+
+% Author: Daniel Steger
+% Source: Mosaic from Pompeji
+% Casa degli Armorini Dorati, Living room, mosaic
+
+\begin{comment}
+:Title: Mosaic from Pompeii
+
+A decorative element from a mosaic in the living room of Casa degli Armorini Dorati, Pompeii. The example shows the power of PGF's mathematical engine.
+\end{comment}
+
+\begin{tikzpicture}[cap=round]
+% Colors
+\colorlet{anglecolor}{green!50!black}
+\colorlet{bordercolor}{black}
+
+%Configuration: change this to define number of intersections:
+% 5 degree mean 360/10 = 36 elements
+\def\alpha{5} % degree
+\def\layer{5}
+
+\begin{scope}[scale=5]
+% Radius R = 1
+
+% The figure is constructed by intersecting circles Cx of radius R.
+% M_Cx lies on the circle C with a radius \alpha degree from the outer circle R
+% and a distance defined by \alpha degree.
+
+% It is sufficent to calculate one special M_C, which is intersecting the x-axis
+% at distance R from (0,0).
+\pgfmathsetmacro\sinTriDiff{sin(60-\alpha)}
+\pgfmathsetmacro\cosTriDiff{1-cos(60-\alpha)}
+% The distance from the (0,0).
+\pgfmathsetmacro\radiusC{sqrt(\cosTriDiff*\cosTriDiff + \sinTriDiff*\sinTriDiff)}
+% Angle of M_C (from x-axis)
+\pgfmathsetmacro\startAng{\alpha + atan(\sinTriDiff/\cosTriDiff)}
+
+% The segment layer are \alpha degree apart
+\pgfmathsetmacro\al{\alpha*\layer}
+
+% For each segment create the intersection parts of the circles by using arcs
+\foreach \x in {0,\alpha,...,\al}
+{
+ % Calculate the polar coordiantes of M_Cx. We take the M_C from above
+ % and can calculate all other M_Cx by adding \alpha
+ \pgfmathsetmacro\ang{\x + \startAng}
+ % From ths we get the (x,y) coordinates
+ \pgfmathsetmacro\xRs{\radiusC*cos(\ang)}
+ \pgfmathsetmacro\yRs{\radiusC*sin(\ang)}
+
+ % Now we intersect each new M_C with the x-axis:
+ % We can find the radius of concentric inner circles
+ \pgfmathsetmacro\radiusLayer{\xRs + sqrt( 1 - \yRs*\yRs )}
+
+ % To calculate angles for the arcs later, this angle is needed
+ \pgfmathsetmacro\angRs{acos(\yRs)}
+
+ % We need to have the angle from the previous loop as well
+ \pgfmathsetmacro\angRss{acos(\radiusC*sin(\ang-\alpha))}
+
+
+ % Add some fading by \ang
+ \colorlet{anglecolor}{black!\ang!green}
+
+ % The loop needs to run a whole.
+ % We don't want to cope with angles > 360 degree, adapt the limits.
+ \pgfmathsetmacro\step{2*\alpha - 180}
+ \pgfmathsetmacro\stop{180-2*\alpha}
+ \foreach \y in {-180, \step ,..., \stop}
+ {
+ \pgfmathsetmacro\deltaAng{\y-\x}
+ % This are the arcs which are definied by the intersection of 3 circles
+ \filldraw[color=anglecolor,draw=bordercolor]
+ (\y-\x:\radiusLayer)
+ arc (-90+\angRs+\deltaAng : \alpha-90+\angRss+\deltaAng :1)
+ arc (\alpha+90-\angRss+\deltaAng : 2*\alpha+90-\angRs+\deltaAng :1)
+ arc (\deltaAng+2*\alpha : \deltaAng : \radiusLayer);
+ }
+
+
+ % helper circles & lines
+ %\draw[color=gray] (\xRs,\yRs) circle (1);
+ %\draw[color=gray] (\xRs,-\yRs) circle (1);
+ %\draw[color=blue] (0,0) circle (\radiusLayer);
+ %\draw[color=blue, very thick] (0,0) -- (0:1);
+ %\draw[color=blue, very thick] (0,0) -- (\ang:\radiusC) -- (\xRs,0);
+ %\draw[color=blue, very thick] (\xRs,\yRs) -- (0:\radiusLayer);
+ %\filldraw[color=blue!20, very thick] (\xRs,\yRs) --
+ % (\xRs,\yRs-0.3) arc (-90:-90+\angRs:0.2) -- cycle;
+
+}
+% Additional inner decoration element
+\pgfmathsetmacro\xRs{\radiusC*cos(\al+\startAng)}
+\pgfmathsetmacro\yRs{\radiusC*sin(\al+\startAng)}
+\pgfmathsetmacro\radiusLayer{\xRs + sqrt( 1 - \yRs*\yRs )}
+\draw[line width=2, color=bordercolor] (0,0) circle (.8*\radiusLayer);
+\pgfmathsetmacro\radiusSmall{.7*\radiusLayer}
+% There are six elements to create. Avoid angles >360 degree.
+\foreach \x in {-60,0,...,240}
+{
+ \fill[color=anglecolor] (\x:\radiusSmall) arc (-180+\x+60: -180+\x: \radiusSmall)
+ arc (0+\x: -60+\x: \radiusSmall)
+ arc (120+\x: 60+\x: \radiusSmall);
+}
+% The outer decoration
+\foreach \x in {0, 4, ..., 360}
+{
+ \fill[color=anglecolor] (\x:1) -- (\x+3:1.05) -- (\x+5:1.05) -- (\x+2:1) -- cycle;
+ \fill[color=anglecolor] (\x+5:1.05) -- (\x+7:1.05) -- (\x+4:1.1) -- (\x+2:1.1) -- cycle;
+}
+\draw[line width=1, color=bordercolor] (0,0) circle (1);
+\draw[line width=1, color=bordercolor] (0,0) circle (1.1);
+\end{scope}
+
+\end{tikzpicture}
+\end{document}
diff --git a/info/examples/Practical_LaTeX/covers.pdf b/info/examples/Practical_LaTeX/covers.pdf
new file mode 100644
index 0000000000..2684d47fbb
--- /dev/null
+++ b/info/examples/Practical_LaTeX/covers.pdf
Binary files differ
diff --git a/info/examples/Practical_LaTeX/firstdocument.tex b/info/examples/Practical_LaTeX/firstdocument.tex
new file mode 100644
index 0000000000..d5851a08c7
--- /dev/null
+++ b/info/examples/Practical_LaTeX/firstdocument.tex
@@ -0,0 +1,78 @@
+%First document, firstdocument.tex
+\documentclass{amsart}
+\usepackage{amssymb,latexsym}
+
+\newtheorem{theorem}{Theorem}
+
+\begin{document}
+\title{A technical result\\ for congruences of finite lattices}
+\author{G. Gr\"atzer}
+\address{Department of Mathematics\\
+ University of Manitoba\\
+ Winnipeg, MB R3T 2N2\\
+ Canada}
+\email[G. Gr\"atzer]{gratzer@me.com}
+\urladdr[G. Gr\"atzer]{http://tinyurl.com/gratzerhomepage}
+\date{March 21, 2014}
+\subjclass[2010]{Primary: 06B10.}
+\keywords{finite lattice, congruence.}
+\begin{abstract}
+We present a technical result for congruences on finite lattices.
+\end{abstract}
+\maketitle
+
+\section{Introduction}\label{S:Introduction}%Section~\label{S:Introduction}
+In some recent research, G. Cz\'edli
+and I, see \cite{gC13} and \cite{gG14}, spent quite an effort
+in proving that some equivalence relations
+on a planar semimodular lattice are congruences.
+The number of cases we had to consider
+was dramatically cut by the following result.
+
+\begin{theorem}\label{T:technical}%Theorem~\ref{T:technical}
+Let $L$ be a finite lattice.
+Let $\delta$ be an equivalence relation on $L$
+with intervals as equivalence classes.
+Then $\delta$ is a congruence relation if{}f
+the following condition and its dual hold:
+\begin{equation}\label{E:cover}%\eqref{E:cover}
+\text{If $x$ is covered by $y,z \in L$
+and $x \equiv y \pmod{\delta}$,
+then $z \equiv y + z \pmod{\delta}$.}\tag{C${}_{+}$}
+\end{equation}
+\end{theorem}
+
+\section{The proof}\label{Proof}%Section~\label{S:Proof}
+We prove the join-substitution property:
+if $x \leq y$ and $x \equiv y \pmod{\delta}$, then
+\begin{equation}\label{E:Cjoin}%\eqref{E:Cjoin}
+x + z \equiv y + z \pmod{\delta}.
+\end{equation}
+Let $U = [x, y+ z]$.
+We induct on length\,$U$, the length of $U$.
+
+Let $I=[y_1,y+ z]$ and $J=[z_1,y+ z]$.
+Then length\,$I$ and length\,$J < $ length\,$U$.
+Hence, the induction hypothesis applies to $I$
+and $\delta\rceil I$, and we obtain that
+$w \equiv y+ w \pmod{\delta}$.
+By the transitivity of $\delta$, we conclude that
+\begin{equation}\label{E:three}%\eqref{E:three}
+z_1 \equiv y+ w \pmod{\delta}.
+\end{equation}
+Therefore, applying the induction hypothesis to $J$
+and $\delta \rceil J$, we conclude \eqref{E:Cjoin}.
+
+\begin{thebibliography}{9}
+\bibitem{gC13}%G. Cz\'edli~\cite{gC13}
+G. Cz\'edli,
+\emph{Patch extensions and trajectory colorings of slim
+rectangular lattices.}
+Algebra Universalis \textbf{88} (2013), 255--280.
+
+\bibitem{gG14}%G. Gr\"atzer \cite{GS13}
+G. Gr\"atzer,
+\emph{Congruences of fork extensions of lattices.}
+Acta Sci. Math. (Szeged), \textbf{57} (2014), 417--434.
+\end{thebibliography}
+\end{document} \ No newline at end of file
diff --git a/info/examples/Practical_LaTeX/firstdocumentb.tex b/info/examples/Practical_LaTeX/firstdocumentb.tex
new file mode 100644
index 0000000000..b782fdb707
--- /dev/null
+++ b/info/examples/Practical_LaTeX/firstdocumentb.tex
@@ -0,0 +1,68 @@
+%First document, firstdocumentb.tex
+\documentclass{amsart}
+\usepackage{amssymb,latexsym}
+
+\newtheorem{theorem}{Theorem}
+
+\begin{document}
+\title{A technical result\\ for congruences of finite lattices}
+\author{G. Gr\"{a}tzer}
+\address{Department of Mathematics\\
+ University of Manitoba\\
+ Winnipeg, MB R3T 2N2\\
+ Canada}
+\email[G. Gr\"atzer]{gratzer@me.com}
+\urladdr[G. Gr\"atzer]{http://tinyurl.com/gratzerhomepage}
+\date{March 21, 2014}
+\subjclass[2010]{Primary: 06B10.}
+\keywords{finite lattice, congruence.}
+\begin{abstract}
+We present a technical result for congruences on finite lattices.
+\end{abstract}
+\maketitle
+
+\section{Introduction}\label{S:Introduction}%Section~\label{S:Introduction}
+In some recent research, G. Cz\'edli
+and I, see \cite{gC13} and \cite{gG14}, spent quite an effort
+in proving that some equivalence relations
+on a planar semimodular lattice are congruences.
+The number of cases we had to consider
+was dramatically cut by the following result.
+
+\begin{theorem}\label{T:technical}%Theorem~\ref{T:technical}
+Let $L$ be a finite lattice.
+Let $\delta$ be an equivalence relation on $L$
+with intervals as equivalence classes.
+Then $\delta$ is a congruence relation if{}f
+the following condition and its dual hold:
+\begin{equation}\label{E:cover}%\eqref{E:cover}
+\text{If $x$ is covered by $y,z \in L$
+and $x \equiv y \pmod{\delta}$,
+then $z \equiv y + z \pmod{\delta}$.}\tag{C${}_{+}$}
+\end{equation}
+\end{theorem}
+
+\section{The proof}\label{Proof}%Section~\label{S:Proof}
+We prove the join-substitution property:
+if $x \leq y$ and $x \equiv y \pmod{\delta}$, then
+\begin{equation}\label{E:Cjoin}%\eqref{E:Cjoin}
+x + z \equiv y + z \pmod{\delta}.
+\end{equation}
+Let $U = [x, y+ z]$.
+We induct on length\,$U$, the length of $U$.
+
+Let $I=[y_1,y+ z]$ and $J=[z_1,y+ z]$.
+Then length\,$I$ and length\,$J < $ length\,$U$.
+Hence, the induction hypothesis applies to $I$
+and $\delta\rceil I$, and we obtain that
+$w \equiv y+ w \pmod{\delta}$.
+By the transitivity of $\delta$, we conclude that
+\begin{equation}\label{E:three}%\eqref{E:three}
+z_1 \equiv y+ w \pmod{\delta}.
+\end{equation}
+Therefore, applying the induction hypothesis to $J$
+and $\delta \rceil J$, we conclude \eqref{E:Cjoin}.
+
+\bibliographystyle{amsplain}
+\bibliography{firstdocumentb}
+\end{document} \ No newline at end of file
diff --git a/info/examples/Practical_LaTeX/firstdocumentill.tex b/info/examples/Practical_LaTeX/firstdocumentill.tex
new file mode 100644
index 0000000000..940e4d4bad
--- /dev/null
+++ b/info/examples/Practical_LaTeX/firstdocumentill.tex
@@ -0,0 +1,85 @@
+%First document, firstdocumentill.tex
+\documentclass{amsart}
+\usepackage{amssymb,latexsym}
+\usepackage{graphicx}
+
+\newtheorem{theorem}{Theorem}
+
+\begin{document}
+\title{A technical result\\ for congruences of finite lattices}
+\author{G. Gr\"{a}tzer}
+\address{Department of Mathematics\\
+ University of Manitoba\\
+ Winnipeg, MB R3T 2N2\\
+ Canada}
+\email[G. Gr\"atzer]{gratzer@me.com}
+\urladdr[G. Gr\"atzer]{http://tinyurl.com/lej5g49}
+\date{March 21, 2014}
+\subjclass[2010]{Primary: 06B10.}
+\keywords{finite lattice, congruence.}
+\begin{abstract}
+We present a technical result
+for congruences on finite lattices.
+\end{abstract}
+\maketitle
+
+\section{Introduction}\label{S:Introduction}%Section~\label{S:Introduction}
+In some recent research, G. Cz\'edli
+and I, see \cite{gC13} and \cite{GS13}, spent quite an effort
+in proving that some equivalence relations
+on a planar semimodular lattice are congruences.
+The number of cases we had to consider
+was dramatically cut by the following result.
+
+\begin{theorem}\label{T:technical}%Theorem~\ref{T:technical}
+Let $L$ be a finite lattice.
+Let $\delta$ be an equivalence relation on $L$
+with intervals as equivalence classes.
+Then $\delta$ is a congruence relation if{}f
+the following condition and its dual hold:
+\begin{equation}\label{E:cover}%\eqref{E:cover}
+\text{If $x$ is covered by $y,z \in L$
+and $x \equiv y \pmod{\delta}$,
+then $z \equiv y + z \pmod{\delta}$.}\tag{C${}_{+}$}
+\end{equation}
+\end{theorem}
+
+\begin{figure}[hbt]
+\centerline{\includegraphics{covers}}
+\caption{Theorem~\ref{T:technical} illustrated}\label{T:Theorem}
+\end{figure}
+
+\section{The proof}\label{Proof}%Section~\label{S:Proof}
+We prove the join-substitution property:
+if $x \leq y$ and $x \equiv y \pmod{\delta}$, then
+\begin{equation}\label{E:Cjoin}%\eqref{E:Cjoin}
+x + z \equiv y + z \pmod{\delta}.
+\end{equation}
+Let $U = [x, y+ z]$.
+We induct on length\,$U$, the length of $U$.
+
+Let $I=[y_1,y+ z]$ and $J=[z_1,y+ z]$.
+Then length\,$I$ and length\,$J < $ length\,$U$.
+Hence, the induction hypothesis applies to $I$
+and $\delta\rceil I$, and we obtain that
+$w \equiv y+ w \pmod{\delta}$.
+By the transitivity of $\delta$, we conclude that
+\begin{equation}\label{E:three}%\eqref{E:three}
+z_1 \equiv y+ w \pmod{\delta}.
+\end{equation}
+Therefore, applying the induction hypothesis to $J$
+and $\delta \rceil J$, we conclude \eqref{E:Cjoin}.
+
+\begin{thebibliography}{9}
+\bibitem{gC13}%G. Cz\'edli~\cite{gC13}
+G. Cz\'edli,
+\emph{Patch extensions and trajectory colorings of slim
+rectangular lattices.}
+Algebra Universalis.
+
+\bibitem{GS13}%G. Gr\"atzer \cite{GS13}
+G. Gr\"atzer,
+\emph{Congruences of fork extensions of lattices.}
+Acta Sci. Math. (Szeged).
+\end{thebibliography}
+\end{document} \ No newline at end of file
diff --git a/info/examples/Practical_LaTeX/firstdocumentmod.tex b/info/examples/Practical_LaTeX/firstdocumentmod.tex
new file mode 100644
index 0000000000..bb17329d06
--- /dev/null
+++ b/info/examples/Practical_LaTeX/firstdocumentmod.tex
@@ -0,0 +1,88 @@
+%First document, firstdocumentmod.tex
+\documentclass{amsart}
+\usepackage{amssymb,latexsym}
+
+\newcommand{\pdelta}{\pmod{\delta}}
+\DeclareMathOperator{\length}{length}
+\newtheorem{lemma}{Lemma}
+
+\begin{document}
+\title{A technical lemma\\ for congruences of finite lattices}
+\author{G. Gr\"{a}tzer}
+\address{Department of Mathematics\\
+ University of Manitoba\\
+ Winnipeg, MB R3T 2N2\\
+ Canada}
+\email[G. Gr\"atzer]{gratzer@me.com}
+\urladdr[G. Gr\"atzer]{http://tinyurl.com/lej5g49}
+\date{March 21, 2014}
+\subjclass[2010]{Primary: 06B10.}
+\keywords{finite lattice, congruence.}
+\begin{abstract}
+We present here a Technical Lemma
+for congruences on \emph{finite lattices}.
+This is not difficult to prove but it has already has proved
+its usefulness in some applications.
+\end{abstract}
+\maketitle
+
+\subsection*{Introduction}\label{Intro}%Section~\label{Intro}
+In some recent research, G. Cz\'edli
+and I, see \cite{gC13} and \cite{GS13}, spent quite an effort
+in proving that some equivalence relations
+on a planar semimodular lattice
+with intervals as equivalence classes are congruences.
+The number of cases we had to consider
+was dramatically cut by the following result.
+
+\begin{lemma}\label{L:technical}%Lemma~\ref{L:technical}
+Let $L$ be a finite lattice.
+Let $\delta$ be an equivalence relation on $L$
+with intervals as equivalence classes.
+Then $\delta$ is a congruence relation if{}f
+the following condition and its dual hold:
+\begin{equation}\label{E:cover}%\eqref{E:cover}
+\text{If $x$ is covered by $y,z \in L$
+and $x \equiv y \pdelta$,
+then $z \equiv y + z \pdelta$.}\tag{C${}_{+}$}
+\end{equation}
+\end{lemma}
+
+\subsection*{Proof}\label{Proof}%Section~\label{Proof}
+We prove the join-substitution property:
+if $x \leq y$ and $x \equiv y \pdelta$, then
+\begin{equation}\label{E:Cjoin}%\eqref{E:Cjoin}
+x + z \equiv y + z \pdelta.
+\end{equation}
+Let $U = [x, y+ z]$.
+We induct on $\length U$, the length of $U$.
+
+Let $I=[y_1,y+ z]$ and $J=[z_1,y+ z]$.
+Then $\length I$ and $\length J < \length U$.
+Hence, the induction hypothesis applies to $I$
+and $\delta\rceil I$, and we obtain that
+$w \equiv y+ w \pdelta$.
+By the transitivity of $\delta$, we conclude that
+\begin{equation}\label{E:three}%\eqref{E:three}
+z_1 \equiv y+ w \pdelta.
+\end{equation}
+Therefore, applying the induction hypothesis to $J$
+and $\delta \rceil J$, we conclude from \eqref{E:three} that
+\[
+ x+ z = z + z_1 \equiv z + (y+ w) = y+ z \pdelta,
+\]
+proving \eqref{E:Cjoin}.
+
+\begin{thebibliography}{9}
+\bibitem{gC13}%G. Cz\'edli~\cite{gC13}
+G. Cz\'edli,
+\emph{Patch extensions and trajectory colorings of slim
+rectangular lattices.}
+Algebra Universalis, to appear.
+
+\bibitem{GS13}%G. Gr\"atzer \cite{GS13}
+G. Gr\"atzer,
+\emph{Congruences of fork extensions of lattices.}
+Acta Sci. Math. (Szeged), submitted. arXiv: 1307.8404
+\end{thebibliography}
+\end{document} \ No newline at end of file
diff --git a/info/examples/Practical_LaTeX/formulanote.tex b/info/examples/Practical_LaTeX/formulanote.tex
new file mode 100644
index 0000000000..d5138783ae
--- /dev/null
+++ b/info/examples/Practical_LaTeX/formulanote.tex
@@ -0,0 +1,20 @@
+% Sample file: formulanote.tex
+\documentclass{sample}
+
+\begin{document}
+In first year calculus, we define intervals such
+as $(u, v)$ and $(u, \infty)$. Such an interval
+is a \emph{neighborhood} of $a$
+if $a$ is in the interval. Students should
+realize that $\infty$ is only a
+symbol, not a number. This is important since
+we soon introduce concepts
+ such as $\lim_{x \to \infty} f(x)$.
+
+When we introduce the derivative
+\[
+ \lim_{x \to a} \frac{f(x) - f(a)}{x - a},
+\]
+we assume that the function is defined and continuous
+in a neighborhood of $a$.
+\end{document}
diff --git a/info/examples/Practical_LaTeX/formulanotebad1.tex b/info/examples/Practical_LaTeX/formulanotebad1.tex
new file mode 100644
index 0000000000..49958d129e
--- /dev/null
+++ b/info/examples/Practical_LaTeX/formulanotebad1.tex
@@ -0,0 +1,20 @@
+% Sample file: formulanotebad1.tex
+\documentclass{sample}
+
+\begin{document}
+In first year calculus, we define intervals such
+as $(u, v)$ and (u, \infty)$. Such an interval
+is a \emph{neighborhood} of $a$
+if $a$ is in the interval. Students should
+realize that $\infty$ is only a
+symbol, not a number. This is important since
+we soon introduce concepts
+ such as $\lim_{x \to \infty} f(x)$.
+
+When we introduce the derivative
+\[
+ \lim_{x \to a} \frac{f(x) - f(a)}{x - a}
+\]
+we assume that the function is defined and continuous
+in a neighborhood of $a$.
+\end{document}
diff --git a/info/examples/Practical_LaTeX/sample.cls b/info/examples/Practical_LaTeX/sample.cls
new file mode 100644
index 0000000000..4c283e97d2
--- /dev/null
+++ b/info/examples/Practical_LaTeX/sample.cls
@@ -0,0 +1,657 @@
+%%
+%% This is file `article.cls',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% classes.dtx (with options: `article')
+%%
+%% This is a generated file.
+%%
+%% Copyright 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004
+%% The LaTeX3 Project and any individual authors listed elsewhere
+%% in this file.
+%%
+%% This file was generated from file(s) of the LaTeX base system.
+%% --------------------------------------------------------------
+%%
+%% It may be distributed and/or modified under the
+%% conditions of the LaTeX Project Public License, either version 1.3
+%% of this license or (at your option) any later version.
+%% The latest version of this license is in
+%% http://www.latex-project.org/lppl.txt
+%% and version 1.3 or later is part of all distributions of LaTeX
+%% version 2003/12/01 or later.
+%%
+%% This file has the LPPL maintenance status "maintained".
+%%
+%% This file may only be distributed together with a copy of the LaTeX
+%% base system. You may however distribute the LaTeX base system without
+%% such generated files.
+%%
+%% The list of all files belonging to the LaTeX base distribution is
+%% given in the file `manifest.txt'. See also `legal.txt' for additional
+%% information.
+%%
+%% The list of derived (unpacked) files belonging to the distribution
+%% and covered by LPPL is defined by the unpacking scripts (with
+%% extension .ins) which are part of the distribution.
+%% \CharacterTable
+%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
+%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
+%% Digits \0\1\2\3\4\5\6\7\8\9
+%% Exclamation \! Double quote \" Hash (number) \#
+%% Dollar \$ Percent \% Ampersand \&
+%% Acute accent \' Left paren \( Right paren \)
+%% Asterisk \* Plus \+ Comma \,
+%% Minus \- Point \. Solidus \/
+%% Colon \: Semicolon \; Less than \<
+%% Equals \= Greater than \> Question mark \?
+%% Commercial at \@ Left bracket \[ Backslash \\
+%% Right bracket \] Circumflex \^ Underscore \_
+%% Grave accent \` Left brace \{ Vertical bar \|
+%% Right brace \} Tilde \~}
+\NeedsTeXFormat{LaTeX2e}[1995/12/01]
+\ProvidesClass{sample}
+ [2006/02/16
+ Standard LaTeX document class article modified]
+\RequirePackage{amsmath}
+\RequirePackage{amssymb}
+\RequirePackage{latexsym}
+\RequirePackage{eucal}
+\RequirePackage{verbatim}
+\RequirePackage{enumerate}
+\RequirePackage{xspace}
+
+\newcommand\@ptsize{}
+\newif\if@restonecol
+\newif\if@titlepage
+\@titlepagefalse
+\if@compatibility\else
+\DeclareOption{a4paper}
+ {\setlength\paperheight {297mm}%
+ \setlength\paperwidth {210mm}}
+\DeclareOption{a5paper}
+ {\setlength\paperheight {210mm}%
+ \setlength\paperwidth {148mm}}
+\DeclareOption{b5paper}
+ {\setlength\paperheight {250mm}%
+ \setlength\paperwidth {176mm}}
+\DeclareOption{letterpaper}
+ {\setlength\paperheight {11in}%
+ \setlength\paperwidth {8.5in}}
+\DeclareOption{legalpaper}
+ {\setlength\paperheight {14in}%
+ \setlength\paperwidth {8.5in}}
+\DeclareOption{executivepaper}
+ {\setlength\paperheight {10.5in}%
+ \setlength\paperwidth {7.25in}}
+\DeclareOption{landscape}
+ {\setlength\@tempdima {\paperheight}%
+ \setlength\paperheight {\paperwidth}%
+ \setlength\paperwidth {\@tempdima}}
+\fi
+\if@compatibility
+ \renewcommand\@ptsize{0}
+\else
+\DeclareOption{10pt}{\renewcommand\@ptsize{0}}
+\fi
+\DeclareOption{11pt}{\renewcommand\@ptsize{1}}
+\DeclareOption{12pt}{\renewcommand\@ptsize{2}}
+\if@compatibility\else
+\DeclareOption{oneside}{\@twosidefalse \@mparswitchfalse}
+\fi
+\DeclareOption{twoside}{\@twosidetrue \@mparswitchtrue}
+\DeclareOption{draft}{\setlength\overfullrule{5pt}}
+\if@compatibility\else
+\DeclareOption{final}{\setlength\overfullrule{0pt}}
+\fi
+\DeclareOption{titlepage}{\@titlepagetrue}
+\if@compatibility\else
+\DeclareOption{notitlepage}{\@titlepagefalse}
+\fi
+\if@compatibility\else
+\DeclareOption{onecolumn}{\@twocolumnfalse}
+\fi
+\DeclareOption{twocolumn}{\@twocolumntrue}
+\DeclareOption{leqno}{\input{leqno.clo}}
+\DeclareOption{fleqn}{\input{fleqn.clo}}
+\DeclareOption{openbib}{%
+ \AtEndOfPackage{%
+ \renewcommand\@openbib@code{%
+ \advance\leftmargin\bibindent
+ \itemindent -\bibindent
+ \listparindent \itemindent
+ \parsep \z@
+ }%
+ \renewcommand\newblock{\par}}%
+}
+\ExecuteOptions{letterpaper,10pt,oneside,onecolumn,final}
+\ProcessOptions
+\input{size1\@ptsize.clo}
+\setlength\lineskip{1\p@}
+\setlength\normallineskip{1\p@}
+\renewcommand\baselinestretch{}
+\setlength\parskip{0\p@ \@plus \p@}
+\@lowpenalty 51
+\@medpenalty 151
+\@highpenalty 301
+\setcounter{topnumber}{2}
+\renewcommand\topfraction{.7}
+\setcounter{bottomnumber}{1}
+\renewcommand\bottomfraction{.3}
+\setcounter{totalnumber}{3}
+\renewcommand\textfraction{.2}
+\renewcommand\floatpagefraction{.5}
+\setcounter{dbltopnumber}{2}
+\renewcommand\dbltopfraction{.7}
+\renewcommand\dblfloatpagefraction{.5}
+\if@twoside
+ \def\ps@headings{%
+ \let\@oddfoot\@empty\let\@evenfoot\@empty
+ \def\@evenhead{\thepage\hfil\slshape\leftmark}%
+ \def\@oddhead{{\slshape\rightmark}\hfil\thepage}%
+ \let\@mkboth\markboth
+ \def\sectionmark##1{%
+ \markboth {\MakeUppercase{%
+ \ifnum \c@secnumdepth >\z@
+ \thesection\quad
+ \fi
+ ##1}}{}}%
+ \def\subsectionmark##1{%
+ \markright {%
+ \ifnum \c@secnumdepth >\@ne
+ \thesubsection\quad
+ \fi
+ ##1}}}
+\else
+ \def\ps@headings{%
+ \let\@oddfoot\@empty
+ \def\@oddhead{{\slshape\rightmark}\hfil\thepage}%
+ \let\@mkboth\markboth
+ \def\sectionmark##1{%
+ \markright {\MakeUppercase{%
+ \ifnum \c@secnumdepth >\m@ne
+ \thesection\quad
+ \fi
+ ##1}}}}
+\fi
+\def\ps@myheadings{%
+ \let\@oddfoot\@empty\let\@evenfoot\@empty
+ \def\@evenhead{\thepage\hfil\slshape\leftmark}%
+ \def\@oddhead{{\slshape\rightmark}\hfil\thepage}%
+ \let\@mkboth\@gobbletwo
+ \let\sectionmark\@gobble
+ \let\subsectionmark\@gobble
+ }
+ \if@titlepage
+ \newcommand\maketitle{\begin{titlepage}%
+ \let\footnotesize\small
+ \let\footnoterule\relax
+ \let \footnote \thanks
+ \null\vfil
+ \vskip 60\p@
+ \begin{center}%
+ {\LARGE \@title \par}%
+ \vskip 3em%
+ {\large
+ \lineskip .75em%
+ \begin{tabular}[t]{c}%
+ \@author
+ \end{tabular}\par}%
+ \vskip 1.5em%
+ {\large \@date \par}% % Set date in \large size.
+ \end{center}\par
+ \@thanks
+ \vfil\null
+ \end{titlepage}%
+ \setcounter{footnote}{0}%
+ \global\let\thanks\relax
+ \global\let\maketitle\relax
+ \global\let\@thanks\@empty
+ \global\let\@author\@empty
+ \global\let\@date\@empty
+ \global\let\@title\@empty
+ \global\let\title\relax
+ \global\let\author\relax
+ \global\let\date\relax
+ \global\let\and\relax
+}
+\else
+\newcommand\maketitle{\par
+ \begingroup
+ \renewcommand\thefootnote{\@fnsymbol\c@footnote}%
+ \def\@makefnmark{\rlap{\@textsuperscript{\normalfont\@thefnmark}}}%
+ \long\def\@makefntext##1{\parindent 1em\noindent
+ \hb@xt@1.8em{%
+ \hss\@textsuperscript{\normalfont\@thefnmark}}##1}%
+ \if@twocolumn
+ \ifnum \col@number=\@ne
+ \@maketitle
+ \else
+ \twocolumn[\@maketitle]%
+ \fi
+ \else
+ \newpage
+ \global\@topnum\z@ % Prevents figures from going at top of page.
+ \@maketitle
+ \fi
+ \thispagestyle{plain}\@thanks
+ \endgroup
+ \setcounter{footnote}{0}%
+ \global\let\thanks\relax
+ \global\let\maketitle\relax
+ \global\let\@maketitle\relax
+ \global\let\@thanks\@empty
+ \global\let\@author\@empty
+ \global\let\@date\@empty
+ \global\let\@title\@empty
+ \global\let\title\relax
+ \global\let\author\relax
+ \global\let\date\relax
+ \global\let\and\relax
+}
+\def\@maketitle{%
+ \newpage
+ \null
+ \vskip 2em%
+ \begin{center}%
+ \let \footnote \thanks
+ {\LARGE \@title \par}%
+ \vskip 1.5em%
+ {\large
+ \lineskip .5em%
+ \begin{tabular}[t]{c}%
+ \@author
+ \end{tabular}\par}%
+ \vskip 1em%
+ {\large \@date}%
+ \end{center}%
+ \par
+ \vskip 1.5em}
+\fi
+\setcounter{secnumdepth}{3}
+\newcounter {part}
+\newcounter {section}
+\newcounter {subsection}[section]
+\newcounter {subsubsection}[subsection]
+\newcounter {paragraph}[subsubsection]
+\newcounter {subparagraph}[paragraph]
+\renewcommand \thepart {\@Roman\c@part}
+\renewcommand \thesection {\@arabic\c@section}
+\renewcommand\thesubsection {\thesection.\@arabic\c@subsection}
+\renewcommand\thesubsubsection{\thesubsection .\@arabic\c@subsubsection}
+\renewcommand\theparagraph {\thesubsubsection.\@arabic\c@paragraph}
+\renewcommand\thesubparagraph {\theparagraph.\@arabic\c@subparagraph}
+\newcommand\part{%
+ \if@noskipsec \leavevmode \fi
+ \par
+ \addvspace{4ex}%
+ \@afterindentfalse
+ \secdef\@part\@spart}
+
+\def\@part[#1]#2{%
+ \ifnum \c@secnumdepth >\m@ne
+ \refstepcounter{part}%
+ \addcontentsline{toc}{part}{\thepart\hspace{1em}#1}%
+ \else
+ \addcontentsline{toc}{part}{#1}%
+ \fi
+ {\parindent \z@ \raggedright
+ \interlinepenalty \@M
+ \normalfont
+ \ifnum \c@secnumdepth >\m@ne
+ \Large\bfseries \partname\nobreakspace\thepart
+ \par\nobreak
+ \fi
+ \huge \bfseries #2%
+ \markboth{}{}\par}%
+ \nobreak
+ \vskip 3ex
+ \@afterheading}
+\def\@spart#1{%
+ {\parindent \z@ \raggedright
+ \interlinepenalty \@M
+ \normalfont
+ \huge \bfseries #1\par}%
+ \nobreak
+ \vskip 3ex
+ \@afterheading}
+\newcommand\section{\@startsection {section}{1}{\z@}%
+ {-3.5ex \@plus -1ex \@minus -.2ex}%
+ {2.3ex \@plus.2ex}%
+ {\normalfont\Large\bfseries}}
+\newcommand\subsection{\@startsection{subsection}{2}{\z@}%
+ {-3.25ex\@plus -1ex \@minus -.2ex}%
+ {1.5ex \@plus .2ex}%
+ {\normalfont\large\bfseries}}
+\newcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}%
+ {-3.25ex\@plus -1ex \@minus -.2ex}%
+ {1.5ex \@plus .2ex}%
+ {\normalfont\normalsize\bfseries}}
+\newcommand\paragraph{\@startsection{paragraph}{4}{\z@}%
+ {3.25ex \@plus1ex \@minus.2ex}%
+ {-1em}%
+ {\normalfont\normalsize\bfseries}}
+\newcommand\subparagraph{\@startsection{subparagraph}{5}{\parindent}%
+ {3.25ex \@plus1ex \@minus .2ex}%
+ {-1em}%
+ {\normalfont\normalsize\bfseries}}
+\if@twocolumn
+ \setlength\leftmargini {2em}
+\else
+ \setlength\leftmargini {2.5em}
+\fi
+\leftmargin \leftmargini
+\setlength\leftmarginii {2.2em}
+\setlength\leftmarginiii {1.87em}
+\setlength\leftmarginiv {1.7em}
+\if@twocolumn
+ \setlength\leftmarginv {.5em}
+ \setlength\leftmarginvi {.5em}
+\else
+ \setlength\leftmarginv {1em}
+ \setlength\leftmarginvi {1em}
+\fi
+\setlength \labelsep {.5em}
+\setlength \labelwidth{\leftmargini}
+\addtolength\labelwidth{-\labelsep}
+\@beginparpenalty -\@lowpenalty
+\@endparpenalty -\@lowpenalty
+\@itempenalty -\@lowpenalty
+\renewcommand\theenumi{\@arabic\c@enumi}
+\renewcommand\theenumii{\@alph\c@enumii}
+\renewcommand\theenumiii{\@roman\c@enumiii}
+\renewcommand\theenumiv{\@Alph\c@enumiv}
+\newcommand\labelenumi{\theenumi.}
+\newcommand\labelenumii{(\theenumii)}
+\newcommand\labelenumiii{\theenumiii.}
+\newcommand\labelenumiv{\theenumiv.}
+\renewcommand\p@enumii{\theenumi}
+\renewcommand\p@enumiii{\theenumi(\theenumii)}
+\renewcommand\p@enumiv{\p@enumiii\theenumiii}
+\newcommand\labelitemi{\textbullet}
+\newcommand\labelitemii{\normalfont\bfseries \textendash}
+\newcommand\labelitemiii{\textasteriskcentered}
+\newcommand\labelitemiv{\textperiodcentered}
+\newenvironment{description}
+ {\list{}{\labelwidth\z@ \itemindent-\leftmargin
+ \let\makelabel\descriptionlabel}}
+ {\endlist}
+\newcommand*\descriptionlabel[1]{\hspace\labelsep
+ \normalfont\bfseries #1}
+\if@titlepage
+ \newenvironment{abstract}{%
+ \titlepage
+ \null\vfil
+ \@beginparpenalty\@lowpenalty
+ \begin{center}%
+ \bfseries \abstractname
+ \@endparpenalty\@M
+ \end{center}}%
+ {\par\vfil\null\endtitlepage}
+\else
+ \newenvironment{abstract}{%
+ \if@twocolumn
+ \section*{\abstractname}%
+ \else
+ \small
+ \begin{center}%
+ {\bfseries \abstractname\vspace{-.5em}\vspace{\z@}}%
+ \end{center}%
+ \quotation
+ \fi}
+ {\if@twocolumn\else\endquotation\fi}
+\fi
+\newenvironment{verse}
+ {\let\\\@centercr
+ \list{}{\itemsep \z@
+ \itemindent -1.5em%
+ \listparindent\itemindent
+ \rightmargin \leftmargin
+ \advance\leftmargin 1.5em}%
+ \item\relax}
+ {\endlist}
+\newenvironment{quotation}
+ {\list{}{\listparindent 1.5em%
+ \itemindent \listparindent
+ \rightmargin \leftmargin
+ \parsep \z@ \@plus\p@}%
+ \item\relax}
+ {\endlist}
+\newenvironment{quote}
+ {\list{}{\rightmargin\leftmargin}%
+ \item\relax}
+ {\endlist}
+\if@compatibility
+\newenvironment{titlepage}
+ {%
+ \if@twocolumn
+ \@restonecoltrue\onecolumn
+ \else
+ \@restonecolfalse\newpage
+ \fi
+ \thispagestyle{empty}%
+ \setcounter{page}\z@
+ }%
+ {\if@restonecol\twocolumn \else \newpage \fi
+ }
+\else
+\newenvironment{titlepage}
+ {%
+ \if@twocolumn
+ \@restonecoltrue\onecolumn
+ \else
+ \@restonecolfalse\newpage
+ \fi
+ \thispagestyle{empty}%
+ \setcounter{page}\@ne
+ }%
+ {\if@restonecol\twocolumn \else \newpage \fi
+ \if@twoside\else
+ \setcounter{page}\@ne
+ \fi
+ }
+\fi
+\newcommand\appendix{\par
+ \setcounter{section}{0}%
+ \setcounter{subsection}{0}%
+ \gdef\thesection{\@Alph\c@section}}
+\setlength\arraycolsep{5\p@}
+\setlength\tabcolsep{6\p@}
+\setlength\arrayrulewidth{.4\p@}
+\setlength\doublerulesep{2\p@}
+\setlength\tabbingsep{\labelsep}
+\skip\@mpfootins = \skip\footins
+\setlength\fboxsep{3\p@}
+\setlength\fboxrule{.4\p@}
+\renewcommand \theequation {\@arabic\c@equation}
+\newcounter{figure}
+\renewcommand \thefigure {\@arabic\c@figure}
+\def\fps@figure{tbp}
+\def\ftype@figure{1}
+\def\ext@figure{lof}
+\def\fnum@figure{\figurename\nobreakspace\thefigure}
+\newenvironment{figure}
+ {\@float{figure}}
+ {\end@float}
+\newenvironment{figure*}
+ {\@dblfloat{figure}}
+ {\end@dblfloat}
+\newcounter{table}
+\renewcommand\thetable{\@arabic\c@table}
+\def\fps@table{tbp}
+\def\ftype@table{2}
+\def\ext@table{lot}
+\def\fnum@table{\tablename\nobreakspace\thetable}
+\newenvironment{table}
+ {\@float{table}}
+ {\end@float}
+\newenvironment{table*}
+ {\@dblfloat{table}}
+ {\end@dblfloat}
+\newlength\abovecaptionskip
+\newlength\belowcaptionskip
+\setlength\abovecaptionskip{10\p@}
+\setlength\belowcaptionskip{0\p@}
+\long\def\@makecaption#1#2{%
+ \vskip\abovecaptionskip
+ \sbox\@tempboxa{#1: #2}%
+ \ifdim \wd\@tempboxa >\hsize
+ #1: #2\par
+ \else
+ \global \@minipagefalse
+ \hb@xt@\hsize{\hfil\box\@tempboxa\hfil}%
+ \fi
+ \vskip\belowcaptionskip}
+\DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm}
+\DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf}
+\DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt}
+\DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf}
+\DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit}
+\DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl}
+\DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc}
+\DeclareRobustCommand*\cal{\@fontswitch\relax\mathcal}
+\DeclareRobustCommand*\mit{\@fontswitch\relax\mathnormal}
+\newcommand\@pnumwidth{1.55em}
+\newcommand\@tocrmarg{2.55em}
+\newcommand\@dotsep{4.5}
+\setcounter{tocdepth}{3}
+\newcommand\tableofcontents{%
+ \section*{\contentsname
+ \@mkboth{%
+ \MakeUppercase\contentsname}{\MakeUppercase\contentsname}}%
+ \@starttoc{toc}%
+ }
+\newcommand*\l@part[2]{%
+ \ifnum \c@tocdepth >-2\relax
+ \addpenalty\@secpenalty
+ \addvspace{2.25em \@plus\p@}%
+ \setlength\@tempdima{3em}%
+ \begingroup
+ \parindent \z@ \rightskip \@pnumwidth
+ \parfillskip -\@pnumwidth
+ {\leavevmode
+ \large \bfseries #1\hfil \hb@xt@\@pnumwidth{\hss #2}}\par
+ \nobreak
+ \if@compatibility
+ \global\@nobreaktrue
+ \everypar{\global\@nobreakfalse\everypar{}}%
+ \fi
+ \endgroup
+ \fi}
+\newcommand*\l@section[2]{%
+ \ifnum \c@tocdepth >\z@
+ \addpenalty\@secpenalty
+ \addvspace{1.0em \@plus\p@}%
+ \setlength\@tempdima{1.5em}%
+ \begingroup
+ \parindent \z@ \rightskip \@pnumwidth
+ \parfillskip -\@pnumwidth
+ \leavevmode \bfseries
+ \advance\leftskip\@tempdima
+ \hskip -\leftskip
+ #1\nobreak\hfil \nobreak\hb@xt@\@pnumwidth{\hss #2}\par
+ \endgroup
+ \fi}
+\newcommand*\l@subsection{\@dottedtocline{2}{1.5em}{2.3em}}
+\newcommand*\l@subsubsection{\@dottedtocline{3}{3.8em}{3.2em}}
+\newcommand*\l@paragraph{\@dottedtocline{4}{7.0em}{4.1em}}
+\newcommand*\l@subparagraph{\@dottedtocline{5}{10em}{5em}}
+\newcommand\listoffigures{%
+ \section*{\listfigurename}%
+ \@mkboth{\MakeUppercase\listfigurename}%
+ {\MakeUppercase\listfigurename}%
+ \@starttoc{lof}%
+ }
+\newcommand*\l@figure{\@dottedtocline{1}{1.5em}{2.3em}}
+\newcommand\listoftables{%
+ \section*{\listtablename}%
+ \@mkboth{%
+ \MakeUppercase\listtablename}%
+ {\MakeUppercase\listtablename}%
+ \@starttoc{lot}%
+ }
+\let\l@table\l@figure
+\newdimen\bibindent
+\setlength\bibindent{1.5em}
+\newenvironment{thebibliography}[1]
+ {\section*{\refname}%
+ \@mkboth{\MakeUppercase\refname}{\MakeUppercase\refname}%
+ \list{\@biblabel{\@arabic\c@enumiv}}%
+ {\settowidth\labelwidth{\@biblabel{#1}}%
+ \leftmargin\labelwidth
+ \advance\leftmargin\labelsep
+ \@openbib@code
+ \usecounter{enumiv}%
+ \let\p@enumiv\@empty
+ \renewcommand\theenumiv{\@arabic\c@enumiv}}%
+ \sloppy
+ \clubpenalty4000
+ \@clubpenalty \clubpenalty
+ \widowpenalty4000%
+ \sfcode`\.\@m}
+ {\def\@noitemerr
+ {\@latex@warning{Empty `thebibliography' environment}}%
+ \endlist}
+\newcommand\newblock{\hskip .11em\@plus.33em\@minus.07em}
+\let\@openbib@code\@empty
+\newenvironment{theindex}
+ {\if@twocolumn
+ \@restonecolfalse
+ \else
+ \@restonecoltrue
+ \fi
+ \twocolumn[\section*{\indexname}]%
+ \@mkboth{\MakeUppercase\indexname}%
+ {\MakeUppercase\indexname}%
+ \thispagestyle{plain}\parindent\z@
+ \parskip\z@ \@plus .3\p@\relax
+ \columnseprule \z@
+ \columnsep 35\p@
+ \let\item\@idxitem}
+ {\if@restonecol\onecolumn\else\clearpage\fi}
+\newcommand\@idxitem{\par\hangindent 40\p@}
+\newcommand\subitem{\@idxitem \hspace*{20\p@}}
+\newcommand\subsubitem{\@idxitem \hspace*{30\p@}}
+\newcommand\indexspace{\par \vskip 10\p@ \@plus5\p@ \@minus3\p@\relax}
+\renewcommand\footnoterule{%
+ \kern-3\p@
+ \hrule\@width.4\columnwidth
+ \kern2.6\p@}
+\newcommand\@makefntext[1]{%
+ \parindent 1em%
+ \noindent
+ \hb@xt@1.8em{\hss\@makefnmark}#1}
+\newcommand\contentsname{Contents}
+\newcommand\listfigurename{List of Figures}
+\newcommand\listtablename{List of Tables}
+\newcommand\refname{References}
+\newcommand\indexname{Index}
+\newcommand\figurename{Figure}
+\newcommand\tablename{Table}
+\newcommand\partname{Part}
+\newcommand\appendixname{Appendix}
+\newcommand\abstractname{Abstract}
+\def\today{\ifcase\month\or
+ January\or February\or March\or April\or May\or June\or
+ July\or August\or September\or October\or November\or December\fi
+ \space\number\day, \number\year}
+\setlength\columnsep{10\p@}
+\setlength\columnseprule{0\p@}
+\pagestyle{plain}
+\pagenumbering{arabic}
+\if@twoside
+\else
+ \raggedbottom
+\fi
+\if@twocolumn
+ \twocolumn
+ \sloppy
+ \flushbottom
+\else
+ \onecolumn
+\fi
+\endinput
+%%
+%% End of file `article.cls'.
diff --git a/info/examples/Practical_LaTeX/textnote1.tex b/info/examples/Practical_LaTeX/textnote1.tex
new file mode 100644
index 0000000000..8503a78bc8
--- /dev/null
+++ b/info/examples/Practical_LaTeX/textnote1.tex
@@ -0,0 +1,15 @@
+% Sample file: textnote1.tex
+\documentclass{sample}
+
+\begin{document}
+It is of some concern to me that
+the terminology used in multi-section
+ math courses is not uniform.
+
+In several sections of the course on
+matrix theory, the term
+ ``hamiltonian-reduced'' is used.
+ I, personally, would rather call these
+``hyper-simple''. I invite others
+ to comment on this problem.
+\end{document}
diff --git a/info/examples/Practical_LaTeX/textnote1bad.tex b/info/examples/Practical_LaTeX/textnote1bad.tex
new file mode 100644
index 0000000000..7fcfcffe1c
--- /dev/null
+++ b/info/examples/Practical_LaTeX/textnote1bad.tex
@@ -0,0 +1,15 @@
+% Sample file: textnote1b.tex
+\documentclass{sample}
+
+\begin{document}
+It is of some concern to me that
+the terminology used in multi-section
+ math courses is not uniform.
+
+In several sections of the course on
+matrix theory, the strange term
+ ``hamiltonian-reduced'' is used.
+ I, personally, would rather call these
+ ``hyper-simple''. I
+invite others to comment on this problem.
+\end{document} \ No newline at end of file
diff --git a/info/examples/Practical_LaTeX/textnote2.tex b/info/examples/Practical_LaTeX/textnote2.tex
new file mode 100644
index 0000000000..a67d19b7a8
--- /dev/null
+++ b/info/examples/Practical_LaTeX/textnote2.tex
@@ -0,0 +1,15 @@
+% Sample file: textnote2.tex
+\documentclass{sample}
+
+\begin{document}
+\begin{flushright}
+ \today
+\end{flushright}
+\textbf{From the desk of George Gr\"{a}tzer}
+
+April 7--21 \emph{please} use my
+temporary e-mail address:
+\begin{center}
+ \texttt{George\_Gratzer@yahoo.com}
+\end{center}
+\end{document}