diff options
author | Karl Berry <karl@freefriends.org> | 2009-05-23 00:23:51 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-05-23 00:23:51 +0000 |
commit | a683c3d7e9fac38ec713f23fb6b9d2c7143aea82 (patch) | |
tree | 424ab223921f85fd3f167a4ccd0e2d37d05c2927 /Master/texmf-dist/doc/latex/math-into-latex | |
parent | 5beb5368a684995153c8566797ba054f21c666af (diff) |
move english latex doc out of texmf-doc
git-svn-id: svn://tug.org/texlive/trunk@13412 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/math-into-latex')
17 files changed, 1094 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/math-into-latex/errors.txt b/Master/texmf-dist/doc/latex/math-into-latex/errors.txt new file mode 100644 index 00000000000..3ab9c0a06fd --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/errors.txt @@ -0,0 +1,32 @@ +Corrections to the book + +Math into LaTeX +An Introduction to LaTeX and AMS-LaTeX + +by George Gratzer, published by Birkhauser Boston, +ISBN 0-8176-3805-9. + +These errors have been corrected in the document mil.pdf. + +page xxvi, lines 11-12: +Package names are printed in Helvetica. (PJA) + +page 5, line 13: +"Unless there are" should read "Unless" (PJA) + +page 8, line 14: +"Since it only" should read "Since it" (PJA) + +page 12, line 25: +"3 + 5" should read "3+5" (PJA) + +page 358, Table B.6 +delete lines 9 of table (PJA) + +page 359, Table B.8 +correct order of entries: (PJA) + +\Tiny, \tiny, \SMALL or \scriptsize, \Small or \footnotesize, \small, +\normalsize, \large, \Large, \LARGE, \huge, \Huge + +Pedro J. Aphalo (PJA)
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/math-into-latex/gratzer b/Master/texmf-dist/doc/latex/math-into-latex/gratzer new file mode 100644 index 00000000000..af9cde2ece8 --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/gratzer @@ -0,0 +1,6 @@ +This small document was added to the mil (Math into +LaTeX) distribution, so that people looking for it with + +quote site index gratzer + +would find it. diff --git a/Master/texmf-dist/doc/latex/math-into-latex/mil.txt b/Master/texmf-dist/doc/latex/math-into-latex/mil.txt new file mode 100644 index 00000000000..0c63cfd6b51 --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/mil.txt @@ -0,0 +1,88 @@ +November 7, 1995 + +The file mil.pdf provides an introduction to LaTeX: + +Math into LaTeX +Short Course + +based on the book + +Math into LaTeX +An Introduction to LaTeX and AMS-LaTeX + +by George Gratzer, published by Birkhauser Boston, +ISBN 0-8176-3805-9. + +The following parts are reproduced from the book: + + 1. Short contents + 2. Contents + 3. List of tables + 4. List of figures + 5. Preface + 6. Introduction + 7. Part I, A short course + 8. Appendix A, Math symbol tables + 9. Appendix B, Text symbol tables +10. Afterword + +In addition, there is an Index but it is not the full index for +the whole book but the index for the parts reproduced here. + +Please note that this material is copyrighted by Birkhauser +Boston; the copyright information and isbn number is on page 4 of +mil.pdf. + +mil.pdf is a portable document format (pdf) file. To view the pdf +file (it cannot be printed), you need the Acrobat Reader; it is +available (free of charge) from Adobe Inc. for the following +platforms: + +DOS +Windows 3.1, Windows NT, Windows 95 +Macintosh +Silicon Graphics Irix +Sun Sparc and HP + +If you do not have the reader, you can download it from the ftp site: + +ftp.adobe.com + +or from the WWW site: + +www.adobe.com + +Ask an Adobe dealer for a free copy. + +To see the thumbnail sketches of the pages, choose the + +Thumbnails and Page + +option in the View menu. + +Some pages on the Macintosh do not read correctly on the computer +monitor; it seems then preferable to read the printed version of +mil.pdf. If the System file contains only Adobe licensed fonts, all +the significant problems go away. + +The subdirectory + +templates + +contains the templates and sample documents for Part I of the book. + +This directory contains two more files: + +errors.txt is a listing of the errors in the book; + +gratzer is a file added to the distribution, so that people + looking for it with + + quote site index gratzer + + would find it. + +Please direct your comments concerning the Math into LaTeX, Short +Course to + +George_Gratzer@umanitoba.ca
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/math-into-latex/templates/article.tpl b/Master/texmf-dist/doc/latex/math-into-latex/templates/article.tpl new file mode 100644 index 00000000000..16626ed4d58 --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/templates/article.tpl @@ -0,0 +1,95 @@ +% Sample file: article.tpl +% Typeset with LaTeX format + +\documentclass{article} +\usepackage{amsmath,amssymb} + +\newtheorem{theorem}{Theorem} +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}{Proposition} +\newtheorem{definition}{Definition} +\newtheorem{corollary}{Corollary} +\newtheorem{notation}{Notation} + +\begin{document} +\title{ + titleline1\\ + titleline2} +\author{name\thanks{support}\\ + addressline1\\ + addressline2\\ + addressline3} +\date{date} +\maketitle + +\begin{abstract} + abstract +\end{abstract} + +\begin{thebibliography}{99} + +\end{thebibliography} +\end{document} + +Papers: + +\bibitem{xxx} + author, \emph{title}, journal \textbf{volume} + (year), pages. + +Books: + +\bibitem{xxx} + author, \emph{title}, publisher, address, year. + +\bibitem{xxx} + author, \emph{title}, series, vol.~volume, + publisher, address, edition, date. + +\bibitem{xxx} + editor, ed., \emph{title}, publisher, address, year. + +Papers in books: + +\bibitem{xxx} + author, \emph{title}, book title, publisher, + year, pp~pages. + +\bibitem{xxx} + author, \emph{title}, book title (editor, ed.), + vol.~volume, publisher, publisher address, date, + pp.~pages. + +Theses: + +\bibitem{xxx} + author, \emph{title}, Ph.D. thesis, university, year. + +Tech reports: + +\bibitem{xxx} + author, \emph{title}, tech. report, university, year. + +Research notes: + +\bibitem{xxx} + author, \emph{title}, Research Note number, + university, location, date, research paper in + preparation. + +Conference proceedings: + +\bibitem{xxx} + author, \emph{title}, conference title (location, + year). + +\bibitem{xxx} + author, \emph{title}, conference title, year + (editor, ed.), vol.~volume, publisher, address, + pp.~pages. + +Abstracts: + +\bibitem{xxx} + author, \emph{title}, Abstract: journal, volume, + year.
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/math-into-latex/templates/article2.tpl b/Master/texmf-dist/doc/latex/math-into-latex/templates/article2.tpl new file mode 100644 index 00000000000..d9af7aae62f --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/templates/article2.tpl @@ -0,0 +1,100 @@ +% Sample file: article2.tpl for two authors +% Typeset with LaTeX format + +\documentclass{article} +\usepackage{amsmath,amssymb} + +\newtheorem{theorem}{Theorem} +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}{Proposition} +\newtheorem{definition}{Definition} +\newtheorem{corollary}{Corollary} +\newtheorem{notation}{Notation} + +\begin{document} + +\title{titleline1\\ + titleline2} +\author{name1\thanks{support1}\\ + address1line1\\ + address1line2\\ + address1line3 + \and + name2\thanks{support2}\\ + address2line1\\ + address2line2\\ + address2line3} +\date{date} +\maketitle + +\begin{abstract} + abstract +\end{abstract} + +\begin{thebibliography}{99} + +\end{thebibliography} +\end{document} + +Papers: + +\bibitem{xxx} + author, \emph{title}, journal \textbf{volume} + (year), pages. + +Books: + +\bibitem{xxx} + author, \emph{title}, publisher, address, year. + +\bibitem{xxx} + author, \emph{title}, series, vol.~volume, + publisher, address, edition, date. + +\bibitem{xxx} + editor, ed., \emph{title}, publisher, address, year. + +Papers in books: + +\bibitem{xxx} + author, \emph{title}, book title, publisher, + year, pp~pages. + +\bibitem{xxx} + author, \emph{title}, book title (editor, ed.), + vol.~volume, publisher, publisher address, date, + pp.~pages. + +Theses: + +\bibitem{xxx} + author, \emph{title}, Ph.D. thesis, university, year. + +Tech reports: + +\bibitem{xxx} + author, \emph{title}, tech. report, university, year. + +Research notes: + +\bibitem{xxx} + author, \emph{title}, Research Note number, + university, location, date, research paper in + preparation. + +Conference proceedings: + +\bibitem{xxx} + author, \emph{title}, conference title (location, + year). + +\bibitem{xxx} + author, \emph{title}, conference title, year + (editor, ed.), vol.~volume, publisher, address, + pp.~pages. + +Abstracts: + +\bibitem{xxx} + author, \emph{title}, Abstract: journal, volume, + year.
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/math-into-latex/templates/contents.doc b/Master/texmf-dist/doc/latex/math-into-latex/templates/contents.doc new file mode 100644 index 00000000000..8ef21393743 --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/templates/contents.doc @@ -0,0 +1,14 @@ +article.tpl section 1-6 +article2.tpl section 1-6 +contents.doc this document +gallery.tex section 1-3 +ggart.tpl section 1-6 +ggart2.tpl section 1-6 +inbibl.tpl section 1-7.4 +intrart.tex section 1-5 +math.tex section 1-2.2 +mathb.tex section 1-2.2 +note1.tex section 1-1.2 +note1b.tex section 1-1.3 +note2.tex section 1-1.4 +noteslug.tex section 1-1.3 diff --git a/Master/texmf-dist/doc/latex/math-into-latex/templates/gallery.tex b/Master/texmf-dist/doc/latex/math-into-latex/templates/gallery.tex new file mode 100644 index 00000000000..630be7c11d9 --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/templates/gallery.tex @@ -0,0 +1,224 @@ +% Sample file: gallery.tex formula template file +% Typeset with LaTeX format + +\documentclass{article} +\usepackage{amsmath,amssymb} + +\begin{document} + +Step 1 +$\left[ \frac{n}{2} \right]$ + +Step 2 +\[ + \sum_{i = 1}^{ \left[ \frac{n}{2} \right] } +\] + +Step 3 +\[ + x_{i, i + 1}^{i^{2}} \qquad \left[ \frac{i + 3}{3} \right] +\] + +Step 4 +\[ + \binom{ x_{i,i + 1}^{i^{2}} }{ \left[ \frac{i + 3}{3} \right] } +\] + +Step 5 +$\sqrt{ \mu(i)^{ \frac{3}{2} } (i^{2} - 1) }$ + +Step 6 +$\sqrt[3]{ \rho(i) - 2 }$ $\sqrt[3]{ \rho(i) - 1 }$ + +Step 7 +\[ + \frac{ \sqrt{ \mu(i)^{ \frac{3}{2}} (i^{2} -1) } } + { \sqrt[3]{\rho(i) - 2} + \sqrt[3]{\rho(i) - 1} } +\] + +Step 8 +\[ + \sum_{i = 1}^{ \left[ \frac{n}{2} \right] } + \binom{ x_{i, i + 1}^{i^{2}} } + { \left[ \frac{i + 3}{3} \right] } + \frac{ \sqrt{ \mu(i)^{ \frac{3}{2}} (i^{2} - 1) } } + { \sqrt[3]{\rho(i) - 2} + \sqrt[3]{\rho(i) - 1} } +\] + +\[\sum_{i=1}^{\left[\frac{n}{2}\right]}\binom{x_{i,i+1}^{i^{2}}} +{\left[\frac{i+3}{3}\right]}\frac{\sqrt{\mu(i)^{\frac{3} +{2}}(i^{2}-1)}}{\sqrt[3]{\rho(i)-2}+\sqrt[3]{\rho(i)-1}}\] + +\[\sum_{i=1}^{\left[\frac{n}{2}\right]}\binom{x_{i,i+1}^{i^{2}}} +{\left[\frac{i+3}{3}\right]}\frac{\sqrt{\mu(i)^{\frac{3} +{2}}}(i^{2}-1)}}{\sqrt[3]{\rho(i)-2}+\sqrt[3]{\rho(i)-1}}\] + + +Formula 1 +\[ + x \mapsto \{\, c \in C \mid c \leq x \,\} +\] + +Formula 2 +\[ + \left| \bigcup (\, I_{j} \mid j \in J \,) \right| + < \mathfrak{m} +\] + +Formula 3 +\[ + A = \{\, x \in X \mid x \in X_{i} + \mbox{\quad for some } i \in I \,\} +\] + +Formula 4 +\[ + \langle a_{1}, a_{2} \rangle \leq \langle a'_{1}, a'_{2}\rangle + \qquad \mbox{if{f}} \qquad a_{1} < a'_{1} \quad \mbox{or} + \quad a_{1} = a'_{1} \mbox{ and } a_{2} \leq a'_{2} +\] + +Formula 5 +\[ + \Gamma_{u'} = \{\, \gamma \mid \gamma < 2\chi, + \ B_{\alpha} \nsubseteq u', \ B_{\gamma} \subseteq u' \,\} +\] + +Formula 6 +\[ + A = B^{2} \times \mathbb{Z} +\] + +Formula 7 +\[ + \left( \bigvee (\, s_{i} \mid i \in I \,) \right)^{c} = + \bigwedge (\, s_{i}^{c} \mid i \in I \,) +\] + +Formula 8 +\[ + y \vee \bigvee (\, [B_{\gamma}] \mid \gamma + \in \Gamma \,) \equiv z \vee \bigvee (\, [B_{\gamma}] + \mid \gamma \in \Gamma \,) \pmod{ \Phi^{x} } +\] + +Formula 9 +\[ + f(\mathbf{x}) = \bigvee\nolimits_{\!\mathfrak{m}} + \left(\, + \bigwedge\nolimits_{\mathfrak{m}} + (\, x_{j} \mid j \in I_{i} \,) \mid i < \aleph_{\alpha} + \,\right) +\] + +Formula 10 +\[ + \left. F(x) \right|_{a}^{b} = F(b) - F(a) +\] + +Formula 11 +\[ + u \underset{\alpha}{+} v \overset{1}{\thicksim} w + \overset{2}{\thicksim} z +\] + +Formula 12 +\[ + f(x) \overset{ \text{def} }{=} x^{2} - 1 +\] + +Formula 13 +\[ + \overbrace{a + b + \cdots + z}^{n} +\] + +Formula 14 +\[ + \begin{vmatrix} + a + b + c & uv\\ + a + b & c + d + \end{vmatrix} + = 7 +\] + +\[ + \begin{Vmatrix} + a + b + c & uv\\ + a + b & c + d + \end{Vmatrix} + = 7 +\] + +Formula 15 +\[ + \sum_{j \in \mathbf{N}} b_{ij} \hat{y}_{j} = + \sum_{j \in \mathbf{N}} b^{(\lambda)}_{ij} \hat{y}_{j} + + (b_{ii} - \lambda_{i}) \hat{y}_{i} \hat{y} +\] + +Formula 16 +\[ + \left( \prod^n_{\, j = 1} \hat x_{j} \right) H_{c} = + \frac{1}{2} \hat k_{ij} \det \hat{ \mathbf{K} }(i|i) +\] + +\[ + \biggl( \prod^n_{\, j = 1} \hat x_{j} \biggr) H_{c} = + \frac{1}{2} \hat{k}_{ij} \det \widehat{ \mathbf{K} }(i|i) +\] + +Formula 17 +\[ + \det \mathbf{K} (t = 1, t_{1}, \dots, t_{n}) = + \sum_{I \in \mathbf{n} }(-1)^{|I|} + \prod_{i \in I} t_{i} + \prod_{j \in I} (D_{j} + \lambda_{j} t_{j}) + \det \mathbf{A}^{(\lambda)} (\overline{I} | \overline{I}) = 0 +\] + +Formula 18 +\[ + \lim_{(v, v') \to (0, 0)} + \frac{H(z + v) - H(z + v') - BH(z)(v - v')} + {\| v - v' \|} = 0 +\] + +Formula 19 +\[ + \int_{\mathcal{D}} | \overline{\partial u} |^{2} + \Phi_{0}(z) e^{\alpha |z|^2} \geq + c_{4} \alpha \int_{\mathcal{D}} |u|^{2} \Phi_{0} + e^{\alpha |z|^{2}} + c_{5} \delta^{-2} \int_{A} + |u|^{2} \Phi_{0} e^{\alpha |z|^{2}} +\] + +Formula 20 +\[ + \mathbf{A} = + \begin{pmatrix} + \dfrac{\varphi \cdot X_{n, 1}} + {\varphi_{1} \times \varepsilon_{1}} + & (x + \varepsilon_{2})^{2} & \cdots + & (x + \varepsilon_{n - 1})^{n - 1} + & (x + \varepsilon_{n})^{n}\\ + \dfrac{\varphi \cdot X_{n, 1}} + {\varphi_{2} \times \varepsilon_{1}} + & \dfrac{\varphi \cdot X_{n, 2}} + {\varphi_{2} \times \varepsilon_{2}} + & \cdots & (x + \varepsilon_{n - 1})^{n - 1} + & (x + \varepsilon_{n})^{n}\\ + \hdotsfor{5}\\ + \dfrac{\varphi \cdot X_{n, 1}} + {\varphi_{n} \times \varepsilon_{1}} + & \dfrac{\varphi \cdot X_{n, 2}} + {\varphi_{n} \times \varepsilon_{2}} + & \cdots & \dfrac{\varphi \cdot X_{n, n - 1}} + {\varphi_{n} \times \varepsilon_{n - 1}} + & \dfrac{\varphi\cdot X_{n, n}} + {\varphi_{n} \times \varepsilon_{n}} + \end{pmatrix} + + \mathbf{I}_{n} +\] + +\end{document} + diff --git a/Master/texmf-dist/doc/latex/math-into-latex/templates/ggart.tpl b/Master/texmf-dist/doc/latex/math-into-latex/templates/ggart.tpl new file mode 100644 index 00000000000..b07fd2ec5b9 --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/templates/ggart.tpl @@ -0,0 +1,97 @@ +% Sample file: ggart.tpl +% Typeset with LaTeX format + +\documentclass{article} +\usepackage{amssymb,amsmath} + +\newtheorem{theorem}{Theorem} +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}{Proposition} +\newtheorem{definition}{Definition} +\newtheorem{corollary}{Corollary} +\newtheorem{notation}{Notation} + +\begin{document} +\title{titleline1\\ + titleline2} +\author{George Gr\"{a}tzer\thanks{Research supported by the + NSERC of Canada.}\\ + University of Manitoba\\ + Department of Mathematics\\ + Winnipeg, MN, R3T 2N2\\ + Canada} +\date{date} +\maketitle + +\begin{abstract} + abstract +\end{abstract} + +\begin{thebibliography}{99} + + +\end{thebibliography} +\end{document} + +Papers: + +\bibitem{xxx} + author, \emph{title}, journal \textbf{volume} + (year), pages. + +Books: + +\bibitem{xxx} + author, \emph{title}, publisher, address, year. + +\bibitem{xxx} + author, \emph{title}, series, vol.~volume, + publisher, address, edition, date. + +\bibitem{xxx} + editor, ed., \emph{title}, publisher, address, year. + +Papers in books: + +\bibitem{xxx} + author, \emph{title}, book title, publisher, + year, pp~pages. + +\bibitem{xxx} + author, \emph{title}, book title (editor, ed.), + vol.~volume, publisher, publisher address, date, + pp.~pages. + +Theses: + +\bibitem{xxx} + author, \emph{title}, Ph.D. thesis, university, year. + +Tech reports: + +\bibitem{xxx} + author, \emph{title}, tech. report, university, year. + +Research notes: + +\bibitem{xxx} + author, \emph{title}, Research Note number, + university, location, date, research paper in + preparation. + +Conference proceedings: + +\bibitem{xxx} + author, \emph{title}, conference title (location, + year). + +\bibitem{xxx} + author, \emph{title}, conference title, year + (editor, ed.), vol.~volume, publisher, address, + pp.~pages. + +Abstracts: + +\bibitem{xxx} + author, \emph{title}, Abstract: journal, volume, + year.
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/math-into-latex/templates/ggart2.tpl b/Master/texmf-dist/doc/latex/math-into-latex/templates/ggart2.tpl new file mode 100644 index 00000000000..96b71eef459 --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/templates/ggart2.tpl @@ -0,0 +1,102 @@ +% Sample file: ggart2.tpl for two authors +% Typeset with LaTeX format + +\documentclass{article} +\usepackage{amssymb,amsmath} + +\newtheorem{theorem}{Theorem} +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}{Proposition} +\newtheorem{definition}{Definition} +\newtheorem{corollary}{Corollary} +\newtheorem{notation}{Notation} + +\begin{document} +\title{titleline1\\ + titleline2} +\author{George Gr\"{a}tzer\thanks{Research supported by the + NSERC of Canada.}\\ + University of Manitoba\\ + Department of Mathematics\\ + Winnipeg, MN, R3T 2N2\\ + Canada + \and + name2\thanks{support2}\\ + address2line1\\ + address2line2\\ + address2line3} +\date{date} +\maketitle + +\begin{abstract} + abstract +\end{abstract} + +\begin{thebibliography}{99} + + +\end{thebibliography} +\end{document} + +Papers: + +\bibitem{xxx} + author, \emph{title}, journal \textbf{volume} + (year), pages. + +Books: + +\bibitem{xxx} + author, \emph{title}, publisher, address, year. + +\bibitem{xxx} + author, \emph{title}, series, vol.~volume, + publisher, address, edition, date. + +\bibitem{xxx} + editor, ed., \emph{title}, publisher, address, year. + +Papers in books: + +\bibitem{xxx} + author, \emph{title}, book title, publisher, + year, pp~pages. + +\bibitem{xxx} + author, \emph{title}, book title (editor, ed.), + vol.~volume, publisher, publisher address, date, + pp.~pages. + +Theses: + +\bibitem{xxx} + author, \emph{title}, Ph.D. thesis, university, year. + +Tech reports: + +\bibitem{xxx} + author, \emph{title}, tech. report, university, year. + +Research notes: + +\bibitem{xxx} + author, \emph{title}, Research Note number, + university, location, date, research paper in + preparation. + +Conference proceedings: + +\bibitem{xxx} + author, \emph{title}, conference title (location, + year). + +\bibitem{xxx} + author, \emph{title}, conference title, year + (editor, ed.), vol.~volume, publisher, address, + pp.~pages. + +Abstracts: + +\bibitem{xxx} + author, \emph{title}, Abstract: journal, volume, + year.
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/math-into-latex/templates/inbibl.tpl b/Master/texmf-dist/doc/latex/math-into-latex/templates/inbibl.tpl new file mode 100644 index 00000000000..7b47595e83d --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/templates/inbibl.tpl @@ -0,0 +1,77 @@ +% Sample file: inbibl.tpl +% in article bibliography template file + +\begin{thebibliography}{99} +\bibitem{hA70} + Henry~H. Albert, + \emph{Free torsoids}, + Current Trends in Lattice Theory, D.~Van Nostrand, 1970. +\bibitem{hA70a} + Henry~H. Albert, + \emph{Free torsoids}, + Current Trends in Lattice Theory (G.~H. Birnbaum, ed.), vol.~7, + D.~Van Nostrand, Princeton-Toronto-London-Melbourne, + January 1970, + no translation available, pp.~173--215 (Hungarian). +\bibitem{sF90} + Soo-Key Foo, + \emph{Lattice Constructions}, + Ph.D. thesis, + University of Winnebago, 1990. +\bibitem{sF90a} + Soo-Key Foo, + \emph{Lattice Constructions}, + Ph.D. thesis, + University of Winnebago, Winnebago, MN, December 1990, + final revision not yet available (Chinese). +\bibitem{gF86} + Grant~H. Foster, + \emph{Computational complexity in lattice theory}, + tech. report, Carnegie Mellon University, 1986. +\bibitem{gF86a} + Grant~H. Foster, + \emph{Computational complexity in lattice theory}, + Research Note 128A, Carnegie Mellon University, + Pittsburgh PA, December 1986, + research article in preparation (English). +\bibitem{pK69} + Peter~A. Konig, + \emph{Composition of functions}, + Proceedings of the Conference on Universal Algebra + (Kingston, 1969). +\bibitem{pK69a} + Peter~A. Konig, + \emph{Composition of functions}, + Proceedings of the Conference on Universal Algebra, 1969 + (G.~H. Birnbaum, ed.), vol.~7, Canadian Mathematical + Society, Queen's Univ., available from the Montreal office, + pp.~1--106 (English). +\bibitem{wL75} + William~A. Landau, + \emph{Representations of complete lattices}, + Abstract: Notices Amer. Math. Soc., \textbf{18}, 937. +\bibitem{wL75a} + William~A. Landau, + \emph{Representations of complete lattices}, + Abstract: Notices Amer. Math. Soc. \textbf{18}, 937, + December 1975 (English). +\bibitem{gM68} + George~A. Menuhin, + \emph{Universal Algebra}, + D.~van Nostrand, Princeton-Toronto-London-Melbourne, 1968. +\bibitem{gM68a} + George~A. Menuhin, + \emph{Universal Algebra}, + University Series in Higher Mathematics, vol.~58, + D.~van Nostrand, Princeton-Toronto-London-Melbourne, + second ed., March 1968, no Russian translation (English). +\bibitem{eM57} + Ernest~T. Moynahan, + \emph{On a problem of M.~H. Stone}, + Acta Math. Acad. Sci. Hungar. \textbf{8} (1957), 455--460. +\bibitem{eM57a} + Ernest~T. Moynahan, + \emph{On a problem of M.~H. Stone}, + Acta Math. Acad. Sci. Hungar. \textbf{8} (1957), 455--460, + Russian translation available (English). +\end{thebibliography} diff --git a/Master/texmf-dist/doc/latex/math-into-latex/templates/intrart.tex b/Master/texmf-dist/doc/latex/math-into-latex/templates/intrart.tex new file mode 100644 index 00000000000..dbfa149f7af --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/templates/intrart.tex @@ -0,0 +1,133 @@ +% Introductory sample article: intrart.tex +% Typeset with LaTeX format + +\documentclass{article} +\usepackage{amsmath,amssymb} +\newtheorem{theorem}{Theorem} +\newtheorem{definition}{Definition} +\newtheorem{notation}{Notation} + +\begin{document} +\title{A construction of complete-simple\\ + distributive lattices} +\author{George~A. Menuhin\thanks{Research supported + by the NSF under grant number~23466.}\\ + Computer Science Department\\ + Winnebago, Minnesota 23714\\ + menuhin@ccw.uwinnebago.edu} +\date{March 15, 1995} +\maketitle + +\begin{abstract} + In this note we prove that there exist \emph{complete-simple + distributive lattices}, that is, complete distributive + lattices in which there are only two complete congruences. +\end{abstract} + +\section{Introduction} \label{S:intro} +In this note we prove the following result: + +\begin{theorem} + There exists an infinite complete distributive lattice $K$ + with only the two trivial complete congruence relations. +\end{theorem} + +\section{The $\Pi^{*}$ construction} \label{S:P*} +The following construction is crucial in our proof of our Theorem: + +\begin{definition} \label{D:P*} + Let $D_{i}$, $i \in I$, be complete distributive + lattices satisfying condition~\textup{(J)}. Their + $\Pi^{*}$ product is defined as follows: + \[ + \Pi^{*} ( D_{i} \mid i \in I ) = + \Pi ( D_{i}^{-} \mid i \in I ) + 1; + \] + that is, $\Pi^{*} ( D_{i} \mid i \in I )$ is + $\Pi ( D_{i}^{-} \mid i \in I )$ with a new unit element. +\end{definition} + +\begin{notation} + If $i \in I$ and $d \in D_{i}^{-}$, then + \[ + \langle \dots, 0, \dots, \overset{i}{d}, \dots, 0, + \dots \rangle + \] + is the element of $\Pi^{*} ( D_{i} \mid i \in I )$ whose + $i$th component is $d$ and all the other components + are $0$. +\end{notation} + +See also Ernest~T. Moynahan~\cite{eM57a}. + +Next we verify the following result: + +\begin{theorem} \label{T:P*} + Let $D_{i}$, $i \in I$, be complete distributive + lattices satisfying condition~\textup{(J)}. Let $\Theta$ + be a complete congruence relation on + $\Pi^{*} ( D_{i} \mid i \in I )$. + If there exist $i \in I$ and $d \in D_{i}$ with + $d < 1_{i}$ such that for all $d \leq c < 1_{i}$, + \begin{equation} \label{E:cong1} + \langle \dots, 0, \dots,\overset{i}{d}, + \dots, 0, \dots \rangle \equiv \langle \dots, 0, \dots, + \overset{i}{c}, \dots, 0, \dots \rangle \pmod{\Theta}, + \end{equation} + then $\Theta = \iota$. +\end{theorem} + +\emph{Proof.} Since +\begin{equation} \label{E:cong2} + \langle \dots, 0, \dots, \overset{i}{d}, \dots, 0, + \dots \rangle \equiv \langle \dots, 0, \dots, + \overset{i}{c}, \dots, 0, \dots \rangle \pmod{\Theta}, +\end{equation} +and $\Theta$ is a complete congruence relation, it follows +from condition~(C) that +\begin{align} \label{E:cong} + & \langle \dots, \overset{i}{d}, \dots, 0, + \dots \rangle \equiv\\ + &\qquad \qquad \quad \bigvee ( \langle \dots, 0, \dots, + \overset{i}{c}, \dots, 0, \dots \rangle \mid d \leq c < 1 ) + \equiv 1 \pmod{\Theta}. \notag +\end{align} + +Let $j \in I$, $j \neq i$, and let $a \in D_{j}^{-}$. +Meeting both sides of the congruence \eqref{E:cong2} with +$\langle \dots, 0, \dots, \overset{j}{a}, \dots, 0, +\dots \rangle$, we obtain + +\begin{align} \label{E:comp} + 0 = & \langle \dots, 0, \dots, \overset{i}{d}, \dots, 0, \dots + \rangle \wedge \langle \dots, 0, \dots, \overset{j}{a}, + \dots, 0, \dots \rangle \equiv\\ + &\langle \dots, 0, \dots, \overset{j}{a}, \dots, 0, \dots + \rangle \pmod{\Theta}, \notag +\end{align} +Using the completeness of $\Theta$ and \eqref{E:comp}, +we get: +\[ + 0 \equiv \bigvee ( \langle \dots, 0, \dots, \overset{j}{a}, + \dots, 0, \dots \rangle \mid a \in D_{j}^{-} ) = 1 \pmod{\Theta}, +\] +hence $\Theta = \iota$. + +\begin{thebibliography}{9} + \bibitem{sF90} + Soo-Key Foo, \emph{Lattice Constructions}, Ph.D. thesis, + University of Winnebago, Winnebago, MN, December 1990. + \bibitem{gM68} + George~A. Menuhin, \emph{Universal Algebra}, D.~van Nostrand, + Princeton-Toronto-London-Mel\-bourne, 1968. + \bibitem{eM57} + Ernest~T. Moynahan, \emph{On a problem of M.~H. Stone}, Acta Math. + Acad. Sci. Hungar. \textbf{8} (1957), 455--460. + \bibitem{eM57a} + Ernest~T. Moynahan, \emph{Ideals and congruence relations in + lattices.~II}, Magyar Tud. Akad. Mat. Fiz. Oszt. K\"{o}zl. \textbf{9} + (1957), 417--434. +\end{thebibliography} + +\end{document} + diff --git a/Master/texmf-dist/doc/latex/math-into-latex/templates/math.tex b/Master/texmf-dist/doc/latex/math-into-latex/templates/math.tex new file mode 100644 index 00000000000..995b0cf52f5 --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/templates/math.tex @@ -0,0 +1,21 @@ +% Sample file: math.tex +% Typeset with LaTeX format +\documentclass{article} + +\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/Master/texmf-dist/doc/latex/math-into-latex/templates/mathb.tex b/Master/texmf-dist/doc/latex/math-into-latex/templates/mathb.tex new file mode 100644 index 00000000000..4a1d4bbc1c3 --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/templates/mathb.tex @@ -0,0 +1,24 @@ +% Sample file: mathB.tex +% Typeset with LaTeX format +\documentclass{article} + +\begin{document} +In first year Calculus, we define intervals such as +%$(u, v)$ and $(u, \infty)$. Such an interval is a + $(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)$. +%such as $\lim_{x \to \infty f(x)$. + +When we introduce the derivative +\[ + \lim_{x \to a} \frac{f(x) - f(a)}{x - a} + %\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/Master/texmf-dist/doc/latex/math-into-latex/templates/note1.tex b/Master/texmf-dist/doc/latex/math-into-latex/templates/note1.tex new file mode 100644 index 00000000000..6ae24ab3ec3 --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/templates/note1.tex @@ -0,0 +1,22 @@ +% Sample file: note1.tex +% Typeset with LaTeX format +\documentclass{article} + +\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. + +Of special concern to me is the terminology in the course +by Prof.~Rudi Hochschwabauer. + Since his field is new, there is + no accepted +terminology. It is imperative +that we arrive at a satisfactory solution. +\end{document} diff --git a/Master/texmf-dist/doc/latex/math-into-latex/templates/note1b.tex b/Master/texmf-dist/doc/latex/math-into-latex/templates/note1b.tex new file mode 100644 index 00000000000..d117539c2b6 --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/templates/note1b.tex @@ -0,0 +1,22 @@ +% Sample file: note1b.tex +% Typeset with LaTeX format +\documentclass{article} + +\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. + +Of special concern to me is the terminology in the course +by Prof.~Hochschwabauer. + Since his field is new, there is + no accepted +terminology. It is imperative +that we arrive at a satisfactory solution. +\end{document}
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/math-into-latex/templates/note2.tex b/Master/texmf-dist/doc/latex/math-into-latex/templates/note2.tex new file mode 100644 index 00000000000..0e0ac630315 --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/templates/note2.tex @@ -0,0 +1,15 @@ +% Sample file: note2.tex +% Typeset with LaTeX format +\documentclass{article} + +\begin{document} +\begin{flushright} + \today +\end{flushright} +\textbf{From the desk of George Gr\"{a}tzer}\\[10pt] + +February~7--21 \emph{please} use my temporary e-mail address: +\begin{center} + \texttt{George\_Gratzer@umanitoba.ca} +\end{center} +\end{document} diff --git a/Master/texmf-dist/doc/latex/math-into-latex/templates/noteslug.tex b/Master/texmf-dist/doc/latex/math-into-latex/templates/noteslug.tex new file mode 100644 index 00000000000..723909db4d5 --- /dev/null +++ b/Master/texmf-dist/doc/latex/math-into-latex/templates/noteslug.tex @@ -0,0 +1,22 @@ +% Sample file: noteslug.tex +% Typeset with the LaTeX format +\documentclass[draft]{article} + +\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. + +Of special concern to me is the terminology in the course +by Prof.~Hochschwabauer. + Since his field is new, there is + no accepted +terminology. It is imperative +that we arrive at a satisfactory solution. +\end{document}
\ No newline at end of file |