diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /info/examples/Practical_LaTeX |
Initial commit
Diffstat (limited to 'info/examples/Practical_LaTeX')
23 files changed, 1606 insertions, 0 deletions
diff --git a/info/examples/Practical_LaTeX/FurtherReading.pdf b/info/examples/Practical_LaTeX/FurtherReading.pdf Binary files differnew file mode 100644 index 0000000000..d4caf41c8d --- /dev/null +++ b/info/examples/Practical_LaTeX/FurtherReading.pdf 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 Binary files differnew file mode 100644 index 0000000000..4efc6a96b3 --- /dev/null +++ b/info/examples/Practical_LaTeX/SymbolTables.pdf 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 Binary files differnew file mode 100644 index 0000000000..2684d47fbb --- /dev/null +++ b/info/examples/Practical_LaTeX/covers.pdf 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} |