summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/mil3
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2011-03-11 00:26:40 +0000
committerKarl Berry <karl@freefriends.org>2011-03-11 00:26:40 +0000
commit82939b1791f084d4f8dd55923ed894d658b9b172 (patch)
treed3f64dcbaea3685b0f7a7037b467ec87aa2a7344 /Master/texmf-dist/doc/latex/mil3
parenta15edb62a11ed95f77b65bf8fdaba6cdbfdec638 (diff)
new examples package mil3 (10mar11)
git-svn-id: svn://tug.org/texlive/trunk@21677 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/mil3')
-rw-r--r--Master/texmf-dist/doc/latex/mil3/README8
-rw-r--r--Master/texmf-dist/doc/latex/mil3/ams-alph.bst1384
-rw-r--r--Master/texmf-dist/doc/latex/mil3/ams-pln.bst1244
-rw-r--r--Master/texmf-dist/doc/latex/mil3/amsart.tpl187
-rw-r--r--Master/texmf-dist/doc/latex/mil3/article.tpl92
-rw-r--r--Master/texmf-dist/doc/latex/mil3/article2.tpl97
-rw-r--r--Master/texmf-dist/doc/latex/mil3/contents43
-rw-r--r--Master/texmf-dist/doc/latex/mil3/fonttbl.tex142
-rw-r--r--Master/texmf-dist/doc/latex/mil3/gallery.tex263
-rw-r--r--Master/texmf-dist/doc/latex/mil3/german.tex14
-rw-r--r--Master/texmf-dist/doc/latex/mil3/ggamsart.tpl113
-rw-r--r--Master/texmf-dist/doc/latex/mil3/ggart.tpl97
-rw-r--r--Master/texmf-dist/doc/latex/mil3/ggart2.tpl101
-rw-r--r--Master/texmf-dist/doc/latex/mil3/gratzer7
-rw-r--r--Master/texmf-dist/doc/latex/mil3/inbibl.tpl74
-rw-r--r--Master/texmf-dist/doc/latex/mil3/intrart.tex127
-rw-r--r--Master/texmf-dist/doc/latex/mil3/intrarti.tex142
-rw-r--r--Master/texmf-dist/doc/latex/mil3/lattice.sty134
-rw-r--r--Master/texmf-dist/doc/latex/mil3/letter.tex28
-rw-r--r--Master/texmf-dist/doc/latex/mil3/master.tex27
-rw-r--r--Master/texmf-dist/doc/latex/mil3/math.tex21
-rw-r--r--Master/texmf-dist/doc/latex/mil3/mathb.tex24
-rw-r--r--Master/texmf-dist/doc/latex/mil3/multline.tpl495
-rw-r--r--Master/texmf-dist/doc/latex/mil3/note1.tex22
-rw-r--r--Master/texmf-dist/doc/latex/mil3/note1b.tex22
-rw-r--r--Master/texmf-dist/doc/latex/mil3/note2.tex14
-rw-r--r--Master/texmf-dist/doc/latex/mil3/noteslug.tex22
-rw-r--r--Master/texmf-dist/doc/latex/mil3/sampart.tex262
-rw-r--r--Master/texmf-dist/doc/latex/mil3/sampartb.bib45
-rw-r--r--Master/texmf-dist/doc/latex/mil3/sampartb.tex236
-rw-r--r--Master/texmf-dist/doc/latex/mil3/sampartu.tex259
-rw-r--r--Master/texmf-dist/doc/latex/mil3/sample.html24
-rw-r--r--Master/texmf-dist/doc/latex/mil3/svsing2e.sty295
-rw-r--r--Master/texmf-dist/doc/latex/mil3/svsing6.cls663
-rw-r--r--Master/texmf-dist/doc/latex/mil3/template.bib155
-rw-r--r--Master/texmf-dist/doc/latex/mil3/textenv.tpl536
-rw-r--r--Master/texmf-dist/doc/latex/mil3/topmat.tpl153
37 files changed, 7572 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/mil3/README b/Master/texmf-dist/doc/latex/mil3/README
new file mode 100644
index 00000000000..f3a67546a10
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/README
@@ -0,0 +1,8 @@
+Copyright 2000 George Gratzer.
+
+These are examples from the third edition of the book Math Into LaTeX.
+The author gives unlimited permission to copy and/or distribute them,
+with or without modifications, for any purpose. It is not necessary to
+give any attribution or preserve this notice.
+
+See the file contents for a description of the files available.
diff --git a/Master/texmf-dist/doc/latex/mil3/ams-alph.bst b/Master/texmf-dist/doc/latex/mil3/ams-alph.bst
new file mode 100644
index 00000000000..88878e78adb
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/ams-alph.bst
@@ -0,0 +1,1384 @@
+% ams-alph.bst, a very minor alteration (these two lines of comment, plus
+% seven uncapitalized crossref-related words).
+%%% ====================================================================
+%%% @BibTeX-style-file{
+%%% filename = "amsalpha.bst",
+%%% version = "1.2c",
+%%% date = "1999/11/29",
+%%% time = "13:36:00 EST",
+%%% checksum = "35374 1382 4069 29372",
+%%% author = "American Mathematical Society",
+%%% address = "American Mathematical Society,
+%%% Technical Support,
+%%% Electronic Products and Services,
+%%% P. O. Box 6248,
+%%% Providence, RI 02940,
+%%% USA",
+%%% telephone = "401-455-4080 or (in the USA and Canada)
+%%% 800-321-4AMS (321-4267)",
+%%% FAX = "401-331-3842",
+%%% email = "tech-support@ams.org (Internet)",
+%%% copyright = "Copyright 1995 American Mathematical Society,
+%%% all rights reserved. Copying of this file is
+%%% authorized only if either:
+%%% (1) you make absolutely no changes to your copy,
+%%% including name; OR
+%%% (2) if you do make changes, you first rename it
+%%% to some other name.",
+%%% codetable = "ISO/ASCII",
+%%% keywords = "bibtex, bibliography, amslatex, ams-latex",
+%%% supported = "yes",
+%%% abstract = "BibTeX bibliography style `amsalpha' for BibTeX
+%%% versions 0.99a or later and LaTeX version 2e.
+%%% Produces alphabetic-label bibliography items in
+%%% a form typical for American Mathematical Society
+%%% publications.",
+%%% docstring = "The checksum field above contains a CRC-16
+%%% checksum as the first value, followed by the
+%%% equivalent of the standard UNIX wc (word
+%%% count) utility output of lines, words, and
+%%% characters. This is produced by Robert
+%%% Solovay's checksum utility.",
+%%% }
+%%% ====================================================================
+
+% See the file btxbst.doc for extra documentation other than
+% what is included here. And see btxhak.tex for a description
+% of the BibTeX language and how to use it.
+
+% This defines the types of fields that can occur in a database entry
+% for this particular bibliography style. Except for `language',
+% this is the standard list from alpha.bst.
+
+%% Types of entries currently allowed in a BibTeX file:
+%%
+%% ARTICLE -- An article from a journal or magazine.
+%%
+%% BOOK -- A book with an explicit publisher.
+%%
+%% BOOKLET -- A work that is printed and bound,
+%% but without a named publisher or sponsoring institution.
+%%
+%% CONFERENCE -- The same as INPROCEEDINGS,
+%% included for Scribe compatibility.
+%%
+%% INBOOK -- A part of a book,
+%% which may be a chapter (or section or whatever) and/or a range of pages.
+%%
+%% INCOLLECTION -- A part of a book having its own title.
+%%
+%% INPROCEEDINGS -- An article in a conference proceedings.
+%%
+%% MANUAL -- Technical documentation.
+%%
+%% MASTERSTHESIS -- A Master's thesis.
+%%
+%% MISC -- Use this type when nothing else fits.
+%%
+%% PHDTHESIS -- A PhD thesis.
+%%
+%% PROCEEDINGS -- The proceedings of a conference.
+%%
+%% TECHREPORT -- A report published by a school or other institution,
+%% usually numbered within a series.
+%%
+%% UNPUBLISHED -- A document having an author and title, but not formally
+%% published.
+
+ENTRY
+ { address
+ author
+ booktitle
+ chapter
+ edition
+ editor
+ howpublished
+ institution
+ journal
+ key
+ language
+ month
+ note
+ number
+ organization
+ pages
+ publisher
+ school
+ series
+ title
+ type
+ volume
+ year
+ }
+ {}
+ { label extra.label sort.label }
+
+% Removed after.sentence, after.block---not needed.
+
+INTEGERS { output.state before.all mid.sentence }
+
+FUNCTION {init.state.consts}
+{ #0 'before.all :=
+ #1 'mid.sentence :=
+}
+
+% Scratch variables:
+
+STRINGS { s t }
+
+% Utility functions
+
+FUNCTION {shows}
+{ duplicate$ ":::: `" swap$ * "'" * top$
+}
+
+FUNCTION {showstack}
+{"STACK====================================================================="
+top$
+stack$
+"ENDSTACK=================================================================="
+top$
+}
+
+FUNCTION {not}
+{ { #0 }
+ { #1 }
+ if$
+}
+
+FUNCTION {and}
+{ 'skip$
+ { pop$ #0 }
+ if$
+}
+
+FUNCTION {or}
+{ { pop$ #1 }
+ 'skip$
+ if$
+}
+
+FUNCTION {field.or.null}
+{ duplicate$ empty$
+ { pop$ "" }
+ 'skip$
+ if$
+}
+
+FUNCTION {emphasize}
+{ duplicate$ empty$
+ { pop$ "" }
+ { "\emph{" swap$ * "}" * }
+ if$
+}
+
+% n.dashify is used to make sure page ranges get the TeX code
+% (two hyphens) for en-dashes.
+
+FUNCTION {n.dashify}
+{ 't :=
+ ""
+ { t empty$ not }
+ { t #1 #1 substring$ "-" =
+ { t #1 #2 substring$ "--" = not
+ { "--" *
+ t #2 global.max$ substring$ 't :=
+ }
+ { { t #1 #1 substring$ "-" = }
+ { "-" *
+ t #2 global.max$ substring$ 't :=
+ }
+ while$
+ }
+ if$
+ }
+ { t #1 #1 substring$ *
+ t #2 global.max$ substring$ 't :=
+ }
+ if$
+ }
+ while$
+}
+
+% tie.or.space.connect connects two items with a ~ if the
+% second item is less than 3 letters long, otherwise it just puts an
+% ordinary space.
+
+FUNCTION {tie.or.space.connect}
+{ duplicate$ text.length$ #3 <
+ { "~" }
+ { " " }
+ if$
+ swap$ * *
+}
+
+FUNCTION {add.space.if.necessary}
+{ duplicate$ "" =
+ 'skip$
+ { " " * }
+ if$
+}
+
+% either.or.check gives a warning if two mutually exclusive fields
+% were used in the database.
+
+FUNCTION {either.or.check}
+{ empty$
+ 'pop$
+ { "can't use both " swap$ * " fields in " * cite$ * warning$ }
+ if$
+}
+
+% output.nonnull is called by output.
+
+FUNCTION {output.nonnull}
+% remove the top item from the stack because it's in the way.
+{ 's :=
+ output.state mid.sentence =
+% If we're in mid-sentence, add a comma to the new top item and write it
+ { ", " * write$ }
+% Otherwise, if we're at the beginning of a bibitem,
+ { output.state before.all =
+% just write out the top item from the stack;
+ 'write$
+% and the last alternative is that we're at the end of the current
+% bibitem, so we add a period to the top stack item and write it out.
+ { add.period$ " " * write$ }
+ if$
+ mid.sentence 'output.state :=
+ }
+ if$
+% Put the top item back on the stack that we removed earlier.
+ s
+}
+
+% Output checks to see if the stack top is empty; if not, it
+% calls output.nonnull to write it out.
+
+FUNCTION {output}
+{ duplicate$ empty$
+ 'pop$
+ 'output.nonnull
+ if$
+}
+
+% Standard warning message for a missing or empty field. For the user
+% we call any such field `missing' without respect to the distinction
+% made by BibTeX between missing and empty.
+
+FUNCTION {missing.warning}
+{ "missing " swap$ * " in " * cite$ * warning$ }
+
+% Output.check is like output except that it gives a warning on-screen
+% if the given field in the database entry is empty. t is the field
+% name.
+
+FUNCTION {output.check}
+{ 't :=
+ duplicate$ empty$
+ { pop$ t missing.warning }
+ 'output.nonnull
+ if$
+}
+
+FUNCTION {output.bibitem}
+{ newline$
+ "\bibitem[" write$
+ label write$
+ "]{" write$
+ cite$ write$
+ "}" write$
+ newline$
+% This empty string is the first thing that will be written
+% the next time write$ is called. Done this way because each
+% item is saved on the stack until we find out what punctuation
+% should be added after it. Therefore we need an empty first item.
+ ""
+ before.all 'output.state :=
+}
+
+FUNCTION {fin.entry}
+{ add.period$
+ write$
+ newline$
+}
+
+% Removed new.block, new.block.checka, new.block.checkb, new.sentence,
+% new.sentence.checka, and new.sentence.checkb functions here, since they
+% don't seem to be needed in the AMS style. Also moved some real
+% basic functions like `and' and 'or' earlier in the file.
+
+INTEGERS { nameptr namesleft numnames }
+
+% The extra section to write out a language field was added
+% for AMSPLAIN.BST. Not present in plain.bst.
+
+FUNCTION {format.language}
+{ language empty$
+ { "" }
+ { " (" language * ")" * }
+ if$
+}
+
+% This version of format.names puts names in the format
+%
+% First von Last, Jr.
+%
+% (i.e., first name first, no abbreviating to initials).
+
+FUNCTION {format.names}
+{ 's :=
+ #1 'nameptr :=
+ s num.names$ 'numnames :=
+ numnames 'namesleft :=
+ { namesleft #0 > }
+ { s nameptr "{ff~}{vv~}{ll}{, jj}" format.name$ 't :=
+ nameptr #1 >
+ { namesleft #1 >
+ { ", " * t * }
+ { numnames #2 >
+ { "," * }
+ 'skip$
+ if$
+ t "others" =
+ { " et~al." * }
+ { " and " * t * }
+ if$
+ }
+ if$
+ }
+ 't
+ if$
+ nameptr #1 + 'nameptr :=
+ namesleft #1 - 'namesleft :=
+ }
+ while$
+}
+
+FUNCTION {format.authors}
+{ author empty$
+ { "" }
+ { extra.label "\bysame" =
+ {"\bysame"}
+ { author format.names }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.editors}
+{ editor empty$
+ { "" }
+ { editor format.names
+ editor num.names$ #1 >
+ { " (eds.)" * }
+ { " (ed.)" * }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.nonauthor.editors}
+{ editor empty$
+ { "" }
+ { editor format.names
+ editor num.names$ #1 >
+ { ", eds." * }
+ { ", ed." * }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.title}
+{ title empty$
+ { "" }
+ { title "t" change.case$ emphasize }
+ if$
+}
+
+FUNCTION {format.journal.vol.year}
+{ journal empty$
+ { "" "journal name" missing.warning }
+ { journal
+ volume empty$
+ 'skip$
+ { " \textbf{" * volume * "}" * }
+ if$
+ year empty$
+ { "year" missing.warning }
+ { " (" * year * ")" * }
+ if$
+ }
+ if$
+}
+
+% For formatting the issue number for a journal article.
+
+FUNCTION {format.number}
+{ number empty$
+ { "" }
+ { "no.~" number * }
+ if$
+}
+
+% For formatting miscellaneous dates
+
+FUNCTION {format.date}
+{ year empty$
+ { month empty$
+ { "" }
+ { "there's a month but no year in " cite$ * warning$
+ month
+ }
+ if$
+ }
+ { month empty$
+ 'year
+ { month " " * year * }
+ if$
+ }
+ if$
+}
+
+%% The volume, series and number information is sort of tricky.
+%% This code handles it as follows:
+%% If the series is present, and the volume, but not the number,
+%% then we do "\emph{Book title}, Series Name, vol. 000"
+%% If the series is present, and the number, but not the volume,
+%% then we do "\emph{Book title}, Series Name, no. 000"
+%% If the series is present, and both number and volume,
+%% then we do "\emph{Book title}, vol. XX, Series Name, no. 000"
+%% Finally, if the series is absent,
+%% then we do "\emph{Book title}, vol. XX"
+%% or "\emph{Book title}, no. 000"
+%% and if both volume and number are present, give a warning message.
+
+FUNCTION {format.bookvolume.series.number}
+{ volume empty$
+ { "" % Push the empty string as a placeholder in case everything else
+ % is empty too.
+ series empty$
+ 'skip$
+ { pop$ series } % if series is not empty put in stack
+ if$
+ number empty$
+ 'skip$
+ { duplicate$ empty$ % if no preceding material,
+ 'skip$ % do nothing, otherwise
+ { ", " * } % add a comma and space to separate.
+ if$
+ "no." number tie.or.space.connect * % add the number information
+ }
+ if$
+ }
+%% If the volume is NOT EMPTY:
+ { "vol." volume tie.or.space.connect % vol. XX
+ number empty$
+ { series empty$
+ 'skip$
+ { series ", " * swap$ *} % Series Name, vol. XX
+ if$
+ }
+ { series empty$
+ { "can't use both volume and number if series info is missing"
+ warning$
+ "in BibTeX entry type `" type$ * "'" * top$
+ }
+ { ", " * series * ", no." * number tie.or.space.connect }
+ if$
+ }
+ if$
+ }
+ if$
+
+} % end of format.bookvolume.series.number
+
+%% format.inproc.title.where.editors is used by inproceedings entry types
+
+%% No case changing or emphasizing for the title. We want initial
+%% caps, roman.
+%% We add parentheses around the address (place where conference
+%% was held).
+%% Likewise we add parentheses around the editors' names.
+
+FUNCTION {format.inproc.title.address.editors}
+{ booktitle empty$
+ { "" }
+ { booktitle
+ address empty$
+ 'skip$
+ { add.space.if.necessary "(" * address * ")" * }
+ if$
+ editor empty$
+ 'skip$
+ { add.space.if.necessary "(" * format.nonauthor.editors * ")" * }
+ if$
+ }
+ if$
+}
+
+%% format.incoll.title.editors is similar to format.inproc... but
+%% omits the address. For collections that are not proceedings volumes.
+
+FUNCTION {format.incoll.title.editors}
+{ booktitle empty$
+ { "" }
+ { editor empty$
+ { booktitle }
+ { booktitle
+ add.space.if.necessary "(" * format.nonauthor.editors * ")" *
+ }
+ if$
+ }
+ if$
+}
+
+% Desired output for format.number.series:
+%
+% Lecture Notes in Math., no.~1224
+
+FUNCTION {format.number.series}
+{ series empty$
+ { number empty$
+ { "" }
+ { "there's a number but no series in " cite$ * warning$ }
+ if$
+ }
+ { series
+ number empty$
+ 'skip$
+ { ", no.~" * number * }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.edition}
+{ edition empty$
+ { "" }
+ { output.state mid.sentence =
+ { edition "l" change.case$ " ed." * }
+ { edition "t" change.case$ " ed." * }
+ if$
+ }
+ if$
+}
+
+INTEGERS { multiresult }
+
+FUNCTION {multi.page.check}
+{ 't :=
+ #0 'multiresult :=
+ { multiresult not
+ t empty$ not
+ and
+ }
+ { t #1 #1 substring$
+ duplicate$ "-" =
+ swap$ duplicate$ "," =
+ swap$ "+" =
+ or or
+ { #1 'multiresult := }
+ { t #2 global.max$ substring$ 't := }
+ if$
+ }
+ while$
+ multiresult
+}
+
+FUNCTION {format.pages}
+{ pages empty$
+ { "" }
+ { pages n.dashify }
+ if$
+}
+
+FUNCTION {format.book.pages}
+{ pages empty$
+ { "" }
+ { pages multi.page.check
+ { "pp.~" pages n.dashify * }
+ { "p.~" pages * }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.chapter.pages}
+{ chapter empty$
+ 'format.book.pages
+ { type empty$
+ { "ch.~" }
+ { type "l" change.case$ " " * }
+ if$
+ chapter *
+ pages empty$
+ 'skip$
+ { ", " * format.book.pages * }
+ if$
+ }
+ if$
+}
+
+FUNCTION {empty.misc.check}
+{ author empty$ title empty$ howpublished empty$
+ month empty$ year empty$ note empty$
+ and and and and and
+ key empty$ not and
+ { "all relevant fields are empty in " cite$ * warning$ }
+ 'skip$
+ if$
+}
+
+FUNCTION {format.thesis.type}
+{ type empty$
+ 'skip$
+ { pop$
+ type "t" change.case$
+ }
+ if$
+}
+
+FUNCTION {format.tr.number}
+{ type empty$
+ { "Tech. Report" }
+ 'type
+ if$
+ number empty$
+ { "t" change.case$ }
+ { number tie.or.space.connect }
+ if$
+}
+
+% The format.crossref functions haven't been paid much attention
+% at the present time (June 1990) and could probably use some
+% work. MJD
+
+FUNCTION {format.article.crossref}
+{ key empty$
+ { journal empty$
+ { "need key or journal for " cite$ * " to crossref " * crossref *
+ warning$
+ ""
+ }
+ { "in " journal * }
+ if$
+ }
+ { "in " key * }
+ if$
+ " \cite{" * crossref * "}" *
+}
+
+FUNCTION {format.crossref.editor}
+{ editor #1 "{vv~}{ll}" format.name$
+ editor num.names$ duplicate$
+ #2 >
+ { pop$ " et~al." * }
+ { #2 <
+ 'skip$
+ { editor #2 "{ff }{vv }{ll}{ jj}" format.name$ "others" =
+ { " et~al." * }
+ { " and " * editor #2 "{vv~}{ll}" format.name$ * }
+ if$
+ }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.book.crossref}
+{ volume empty$
+ { "empty volume in " cite$ * "'s crossref of " * crossref * warning$
+ "in "
+ }
+ { "vol." volume tie.or.space.connect
+ " of " *
+ }
+ if$
+ editor empty$
+ editor field.or.null author field.or.null =
+ or
+ { key empty$
+ { series empty$
+ { "need editor, key, or series for " cite$ * " to crossref " *
+ crossref * warning$
+ "" *
+ }
+ { series * }
+ if$
+ }
+ { key * }
+ if$
+ }
+ { format.crossref.editor * }
+ if$
+ " \cite{" * crossref * "}" *
+}
+
+FUNCTION {format.incoll.inproc.crossref}
+{ editor empty$
+ editor field.or.null author field.or.null =
+ or
+ { key empty$
+ { booktitle empty$
+ { "need editor, key, or booktitle for " cite$ * " to crossref " *
+ crossref * warning$
+ ""
+ }
+ { "in \emph{" booktitle * "}" * }
+ if$
+ }
+ { "in " key * }
+ if$
+ }
+ { "in " format.crossref.editor * }
+ if$
+ " \cite{" * crossref * "}" *
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+% The main functions for each entry type.
+
+% journal, vol and year are formatted together because they are
+% not separated by commas.
+
+FUNCTION {article}
+{ output.bibitem
+ format.authors "author" output.check
+ format.title "title" output.check
+ crossref missing$
+ { format.journal.vol.year "journal, volume, and year" output.check
+ format.number output
+ format.pages "pages" output.check
+ }
+ { format.article.crossref output.nonnull
+ format.pages output
+ }
+ if$
+ format.language *
+ note output
+ fin.entry
+}
+
+FUNCTION {book}
+{ output.bibitem
+ author empty$
+ { format.editors "author and editor" output.check }
+ { format.authors output.nonnull
+ crossref missing$
+ { "author and editor" editor either.or.check }
+ 'skip$
+ if$
+ }
+ if$
+ format.title "title" output.check
+ format.edition output
+ crossref missing$
+ { format.bookvolume.series.number output
+ publisher "publisher" output.check
+ address output
+ }
+ { format.book.crossref output.nonnull
+ }
+ if$
+ format.date "year" output.check
+ format.language *
+ note output
+ fin.entry
+}
+
+FUNCTION {booklet}
+{ output.bibitem
+ format.authors output
+ format.title "title" output.check
+ howpublished output
+ address output
+ format.date output
+ note output
+ fin.entry
+}
+
+FUNCTION {inbook}
+{ output.bibitem
+ author empty$
+ { format.editors "author and editor" output.check }
+ { format.authors output.nonnull
+ crossref missing$
+ { "author and editor" editor either.or.check }
+ 'skip$
+ if$
+ }
+ if$
+ format.title "title" output.check
+ format.edition output
+ crossref missing$
+ { format.bookvolume.series.number output
+ format.chapter.pages "chapter and pages" output.check
+ publisher "publisher" output.check
+ address output
+ }
+ { format.chapter.pages "chapter and pages" output.check
+ format.book.crossref output.nonnull
+ }
+ if$
+ format.date "year" output.check
+ format.language *
+ note output
+ fin.entry
+}
+
+FUNCTION {incollection}
+{ output.bibitem
+ format.authors "author" output.check
+ format.title "title" output.check
+ crossref missing$
+ { format.incoll.title.editors "booktitle" output.check
+ format.bookvolume.series.number output
+ publisher "publisher" output.check
+ address output
+ format.edition output
+ format.date "year" output.check
+ }
+ { format.incoll.inproc.crossref output.nonnull
+ }
+ if$
+ note output
+ format.book.pages output
+ format.language *
+ fin.entry
+}
+
+FUNCTION {inproceedings}
+{ output.bibitem
+ format.authors "author" output.check
+ format.title "title" output.check
+ crossref missing$
+ { format.inproc.title.address.editors "booktitle" output.check
+ format.bookvolume.series.number output
+ organization output
+ publisher output
+ format.date "year" output.check
+ }
+ { format.incoll.inproc.crossref output.nonnull
+ }
+ if$
+ note output
+ format.book.pages output
+ format.language *
+ fin.entry
+}
+
+FUNCTION {conference} { inproceedings }
+
+FUNCTION {manual}
+{ output.bibitem
+ author empty$
+ { organization empty$
+ 'skip$
+ { organization output.nonnull
+ address output
+ }
+ if$
+ }
+ { format.authors output.nonnull }
+ if$
+ format.title "title" output.check
+ author empty$
+ { organization empty$
+ { address output }
+ 'skip$
+ if$
+ }
+ { organization output
+ address output
+ }
+ if$
+ format.edition output
+ format.date output
+ note output
+ fin.entry
+}
+
+FUNCTION {mastersthesis}
+{ output.bibitem
+ format.authors "author" output.check
+ format.title "title" output.check
+ "Master's thesis" format.thesis.type output.nonnull
+ school "school" output.check
+ address output
+ format.date "year" output.check
+ note output
+ format.book.pages output
+ fin.entry
+}
+
+FUNCTION {misc}
+{ output.bibitem
+ format.authors output
+ format.title output
+ howpublished output
+ format.date output
+ note output
+ format.book.pages output
+ fin.entry
+ empty.misc.check
+}
+
+FUNCTION {phdthesis}
+{ output.bibitem
+ format.authors "author" output.check
+ format.title "title" output.check
+ "Ph.D. thesis" format.thesis.type output.nonnull
+ school "school" output.check
+ address output
+ format.date "year" output.check
+ note output
+ format.book.pages output
+ fin.entry
+}
+
+FUNCTION {proceedings}
+{ output.bibitem
+ editor empty$
+ { organization output }
+ { format.editors output.nonnull }
+ if$
+ format.title "title" output.check
+ format.bookvolume.series.number output
+ address empty$
+ { editor empty$
+ 'skip$
+ { organization output }
+ if$
+ publisher output
+ format.date "year" output.check
+ }
+ { address output.nonnull
+ editor empty$
+ 'skip$
+ { organization output }
+ if$
+ publisher output
+ format.date "year" output.check
+ }
+ if$
+ note output
+ fin.entry
+}
+
+FUNCTION {techreport}
+{ output.bibitem
+ format.authors "author" output.check
+ format.title "title" output.check
+ format.tr.number output.nonnull
+ institution "institution" output.check
+ address output
+ format.date "year" output.check
+ note output
+ fin.entry
+}
+
+FUNCTION {unpublished}
+{ output.bibitem
+ format.authors "author" output.check
+ format.title "title" output.check
+ note "note" output.check
+ format.date output
+ fin.entry
+}
+
+FUNCTION {default.type} { misc }
+
+MACRO {jan} {"January"}
+
+MACRO {feb} {"February"}
+
+MACRO {mar} {"March"}
+
+MACRO {apr} {"April"}
+
+MACRO {may} {"May"}
+
+MACRO {jun} {"June"}
+
+MACRO {jul} {"July"}
+
+MACRO {aug} {"August"}
+
+MACRO {sep} {"September"}
+
+MACRO {oct} {"October"}
+
+MACRO {nov} {"November"}
+
+MACRO {dec} {"December"}
+
+READ
+
+FUNCTION {sortify}
+{ purify$
+ "l" change.case$
+}
+
+INTEGERS { len }
+
+FUNCTION {chop.word}
+{ 's :=
+ 'len :=
+ s #1 len substring$ =
+ { s len #1 + global.max$ substring$ }
+ 's
+ if$
+}
+
+INTEGERS { et.al.char.used }
+
+FUNCTION {initialize.et.al.char.used}
+{ #0 'et.al.char.used :=
+}
+
+EXECUTE {initialize.et.al.char.used}
+
+FUNCTION {format.lab.names}
+{ 's :=
+ s num.names$ 'numnames :=
+ numnames #1 >
+ { numnames #4 >
+ { #3 'namesleft := }
+ { numnames 'namesleft := }
+ if$
+ #1 'nameptr :=
+ ""
+ { namesleft #0 > }
+ { nameptr numnames =
+ { s nameptr "{ff }{vv }{ll}{ jj}" format.name$ "others" =
+ { "{\etalchar{+}}" *
+ #1 'et.al.char.used :=
+ }
+ { s nameptr "{v{}}{l{}}" format.name$ * }
+ if$
+ }
+ { s nameptr "{v{}}{l{}}" format.name$ * }
+ if$
+ nameptr #1 + 'nameptr :=
+ namesleft #1 - 'namesleft :=
+ }
+ while$
+ numnames #4 >
+ { "{\etalchar{+}}" *
+ #1 'et.al.char.used :=
+ }
+ 'skip$
+ if$
+ }
+ { s #1 "{v{}}{l{}}" format.name$
+ duplicate$ text.length$ #2 <
+ { pop$ s #1 "{ll}" format.name$ #3 text.prefix$ }
+ 'skip$
+ if$
+ }
+ if$
+}
+
+FUNCTION {author.key.label}
+{ author empty$
+ { key empty$
+ { cite$ #1 #3 substring$ }
+ { key #3 text.prefix$ }
+ if$
+ }
+ { author format.lab.names }
+ if$
+}
+
+FUNCTION {author.editor.key.label}
+{ author empty$
+ { editor empty$
+ { key empty$
+ { cite$ #1 #3 substring$ }
+ { key #3 text.prefix$ }
+ if$
+ }
+ { editor format.lab.names }
+ if$
+ }
+ { author format.lab.names }
+ if$
+}
+
+FUNCTION {author.key.organization.label}
+{ author empty$
+ { key empty$
+ { organization empty$
+ { cite$ #1 #3 substring$ }
+ { "The " #4 organization chop.word #3 text.prefix$ }
+ if$
+ }
+ { key #3 text.prefix$ }
+ if$
+ }
+ { author format.lab.names }
+ if$
+}
+
+FUNCTION {editor.key.organization.label}
+{ editor empty$
+ { key empty$
+ { organization empty$
+ { cite$ #1 #3 substring$ }
+ { "The " #4 organization chop.word #3 text.prefix$ }
+ if$
+ }
+ { key #3 text.prefix$ }
+ if$
+ }
+ { editor format.lab.names }
+ if$
+}
+
+FUNCTION {calc.label}
+{ type$ "book" =
+ type$ "inbook" =
+ or
+ 'author.editor.key.label
+ { type$ "proceedings" =
+ 'editor.key.organization.label
+ { type$ "manual" =
+ 'author.key.organization.label
+ 'author.key.label
+ if$
+ }
+ if$
+ }
+ if$
+ duplicate$
+ year field.or.null purify$ #-1 #2 substring$
+ *
+ 'label :=
+ year field.or.null purify$ #-1 #4 substring$
+ *
+ sortify 'sort.label :=
+}
+
+FUNCTION {sort.format.names}
+{ 's :=
+ #1 'nameptr :=
+ ""
+ s num.names$ 'numnames :=
+ numnames 'namesleft :=
+ { namesleft #0 > }
+ { nameptr #1 >
+ { " " * }
+ 'skip$
+ if$
+ s nameptr "{vv{ } }{ll{ }}{ ff{ }}{ jj{ }}" format.name$ 't :=
+ nameptr numnames = t "others" = and
+ { "et al" * }
+ { t sortify * }
+ if$
+ nameptr #1 + 'nameptr :=
+ namesleft #1 - 'namesleft :=
+ }
+ while$
+}
+
+FUNCTION {sort.format.title}
+{ 't :=
+ "A " #2
+ "An " #3
+ "The " #4 t chop.word
+ chop.word
+ chop.word
+ sortify
+ #1 global.max$ substring$
+}
+
+FUNCTION {author.sort}
+{ author empty$
+ { key empty$
+ { "to sort, need author or key in " cite$ * warning$
+ ""
+ }
+ { key sortify }
+ if$
+ }
+ { author sort.format.names }
+ if$
+}
+
+FUNCTION {author.editor.sort}
+{ author empty$
+ { editor empty$
+ { key empty$
+ { "to sort, need author, editor, or key in " cite$ * warning$
+ ""
+ }
+ { key sortify }
+ if$
+ }
+ { editor sort.format.names }
+ if$
+ }
+ { author sort.format.names }
+ if$
+}
+
+FUNCTION {author.organization.sort}
+{ author empty$
+ { organization empty$
+ { key empty$
+ { "to sort, need author, organization, or key in " cite$ * warning$
+ ""
+ }
+ { key sortify }
+ if$
+ }
+ { "The " #4 organization chop.word sortify }
+ if$
+ }
+ { author sort.format.names }
+ if$
+}
+
+FUNCTION {editor.organization.sort}
+{ editor empty$
+ { organization empty$
+ { key empty$
+ { "to sort, need editor, organization, or key in " cite$ * warning$
+ ""
+ }
+ { key sortify }
+ if$
+ }
+ { "The " #4 organization chop.word sortify }
+ if$
+ }
+ { editor sort.format.names }
+ if$
+}
+
+FUNCTION {presort}
+{ calc.label
+ sort.label
+ " "
+ *
+ type$ "book" =
+ type$ "inbook" =
+ or
+ 'author.editor.sort
+ { type$ "proceedings" =
+ 'editor.organization.sort
+ { type$ "manual" =
+ 'author.organization.sort
+ 'author.sort
+ if$
+ }
+ if$
+ }
+ if$
+ *
+ " "
+ *
+ year field.or.null sortify
+ *
+ " "
+ *
+ title field.or.null
+ sort.format.title
+ *
+ #1 entry.max$ substring$
+ 'sort.key$ :=
+}
+
+ITERATE {presort}
+
+SORT
+
+STRINGS { longest.label last.sort.label next.extra }
+
+INTEGERS { longest.label.width last.extra.num }
+
+FUNCTION {initialize.longest.label}
+{ "" 'longest.label :=
+ #0 int.to.chr$ 'last.sort.label :=
+ "" 'next.extra :=
+ #0 'longest.label.width :=
+ #0 'last.extra.num :=
+}
+
+FUNCTION {forward.pass}
+{ last.sort.label sort.label =
+ { last.extra.num #1 + 'last.extra.num :=
+ last.extra.num int.to.chr$ 'extra.label :=
+ }
+ { "a" chr.to.int$ 'last.extra.num :=
+ "" 'extra.label :=
+ sort.label 'last.sort.label :=
+ }
+ if$
+}
+
+FUNCTION {reverse.pass}
+{ next.extra "b" =
+ { "a" 'extra.label := }
+ 'skip$
+ if$
+ label extra.label * 'label :=
+ label width$ longest.label.width >
+ { label 'longest.label :=
+ label width$ 'longest.label.width :=
+ }
+ 'skip$
+ if$
+ extra.label 'next.extra :=
+}
+
+EXECUTE {initialize.longest.label}
+
+ITERATE {forward.pass}
+
+REVERSE {reverse.pass}
+
+FUNCTION {begin.bib}
+{ et.al.char.used
+ { "\newcommand{\etalchar}[1]{$^{#1}$}" write$ newline$ }
+ 'skip$
+ if$
+ preamble$ empty$
+ 'skip$
+ { preamble$ write$ newline$ }
+ if$
+ "\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}"
+ write$ newline$
+ "\begin{thebibliography}{" longest.label * "}" * write$ newline$
+}
+
+EXECUTE {begin.bib}
+
+EXECUTE {init.state.consts}
+
+ITERATE {call.type$}
+
+FUNCTION {end.bib}
+{ newline$
+ "\end{thebibliography}" write$ newline$
+}
+
+EXECUTE {end.bib}
+%% \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 \~}
diff --git a/Master/texmf-dist/doc/latex/mil3/ams-pln.bst b/Master/texmf-dist/doc/latex/mil3/ams-pln.bst
new file mode 100644
index 00000000000..0fd06a6623d
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/ams-pln.bst
@@ -0,0 +1,1244 @@
+% ams-pln.bst, a very minor alteration (these two lines of comment, plus
+% seven uncapitalized crossref-related words).
+%%% ====================================================================
+%%% @BibTeX-style-file{
+%%% filename = "amsplain.bst",
+%%% version = "1.2c",
+%%% date = "1999/11/29",
+%%% time = "13:36:47 EST",
+%%% checksum = "15072 1242 3713 26763",
+%%% author = "American Mathematical Society",
+%%% address = "American Mathematical Society,
+%%% Technical Support,
+%%% Electronic Products and Services,
+%%% P. O. Box 6248,
+%%% Providence, RI 02940,
+%%% USA",
+%%% telephone = "401-455-4080 or (in the USA and Canada)
+%%% 800-321-4AMS (321-4267)",
+%%% FAX = "401-331-3842",
+%%% email = "tech-support@ams.org (Internet)",
+%%% copyright = "Copyright 1995 American Mathematical Society,
+%%% all rights reserved. Copying of this file is
+%%% authorized only if either:
+%%% (1) you make absolutely no changes to your copy,
+%%% including name; OR
+%%% (2) if you do make changes, you first rename it
+%%% to some other name.",
+%%% codetable = "ISO/ASCII",
+%%% keywords = "bibtex, bibliography, amslatex, ams-latex",
+%%% supported = "yes",
+%%% abstract = "BibTeX bibliography style `amsplain' for BibTeX
+%%% versions 0.99a or later and LaTeX version 2e.
+%%% Produces numeric-label bibliography items in
+%%% a form typical for American Mathematical Society
+%%% publications.",
+%%% docstring = "The checksum field above contains a CRC-16
+%%% checksum as the first value, followed by the
+%%% equivalent of the standard UNIX wc (word
+%%% count) utility output of lines, words, and
+%%% characters. This is produced by Robert
+%%% Solovay's checksum utility.",
+%%% }
+%%% ====================================================================
+
+% See the file btxbst.doc for extra documentation other than
+% what is included here. And see btxhak.tex for a description
+% of the BibTeX language and how to use it.
+
+% This defines the types of fields that can occur in a database entry
+% for this particular bibliography style. Except for `language',
+% this is the standard list from plain.bst.
+
+%% Types of entries currently allowed in a BibTeX file:
+%%
+%% ARTICLE -- An article from a journal or magazine.
+%%
+%% BOOK -- A book with an explicit publisher.
+%%
+%% BOOKLET -- A work that is printed and bound,
+%% but without a named publisher or sponsoring institution.
+%%
+%% CONFERENCE -- The same as INPROCEEDINGS,
+%% included for Scribe compatibility.
+%%
+%% INBOOK -- A part of a book,
+%% which may be a chapter (or section or whatever) and/or a range of pages.
+%%
+%% INCOLLECTION -- A part of a book having its own title.
+%%
+%% INPROCEEDINGS -- An article in a conference proceedings.
+%%
+%% MANUAL -- Technical documentation.
+%%
+%% MASTERSTHESIS -- A Master's thesis.
+%%
+%% MISC -- Use this type when nothing else fits.
+%%
+%% PHDTHESIS -- A PhD thesis.
+%%
+%% PROCEEDINGS -- The proceedings of a conference.
+%%
+%% TECHREPORT -- A report published by a school or other institution,
+%% usually numbered within a series.
+%%
+%% UNPUBLISHED -- A document having an author and title, but not formally
+%% published.
+
+ENTRY
+ { address
+ author
+ booktitle
+ chapter
+ edition
+ editor
+ howpublished
+ institution
+ journal
+ key
+ language
+ month
+ note
+ number
+ organization
+ pages
+ publisher
+ school
+ series
+ title
+ type
+ volume
+ year
+ }
+ {}
+ { label extra.label }
+
+% Removed after.sentence, after.block---not needed.
+
+INTEGERS { output.state before.all mid.sentence }
+
+FUNCTION {init.state.consts}
+{ #0 'before.all :=
+ #1 'mid.sentence :=
+}
+
+% Scratch variables:
+
+STRINGS { s t }
+
+% Utility functions
+
+FUNCTION {shows}
+{ duplicate$ ":::: `" swap$ * "'" * top$
+}
+
+FUNCTION {showstack}
+{"STACK====================================================================="
+top$
+stack$
+"ENDSTACK=================================================================="
+top$
+}
+
+FUNCTION {not}
+{ { #0 }
+ { #1 }
+ if$
+}
+
+FUNCTION {and}
+{ 'skip$
+ { pop$ #0 }
+ if$
+}
+
+FUNCTION {or}
+{ { pop$ #1 }
+ 'skip$
+ if$
+}
+
+FUNCTION {field.or.null}
+{ duplicate$ empty$
+ { pop$ "" }
+ 'skip$
+ if$
+}
+
+FUNCTION {emphasize}
+{ duplicate$ empty$
+ { pop$ "" }
+ { "\emph{" swap$ * "}" * }
+ if$
+}
+
+% n.dashify is used to make sure page ranges get the TeX code
+% (two hyphens) for en-dashes.
+
+FUNCTION {n.dashify}
+{ 't :=
+ ""
+ { t empty$ not }
+ { t #1 #1 substring$ "-" =
+ { t #1 #2 substring$ "--" = not
+ { "--" *
+ t #2 global.max$ substring$ 't :=
+ }
+ { { t #1 #1 substring$ "-" = }
+ { "-" *
+ t #2 global.max$ substring$ 't :=
+ }
+ while$
+ }
+ if$
+ }
+ { t #1 #1 substring$ *
+ t #2 global.max$ substring$ 't :=
+ }
+ if$
+ }
+ while$
+}
+
+% tie.or.space.connect connects two items with a ~ if the
+% second item is less than 3 letters long, otherwise it just puts an
+% ordinary space.
+
+FUNCTION {tie.or.space.connect}
+{ duplicate$ text.length$ #3 <
+ { "~" }
+ { " " }
+ if$
+ swap$ * *
+}
+
+FUNCTION {add.space.if.necessary}
+{ duplicate$ "" =
+ 'skip$
+ { " " * }
+ if$
+}
+
+% either.or.check gives a warning if two mutually exclusive fields
+% were used in the database.
+
+FUNCTION {either.or.check}
+{ empty$
+ 'pop$
+ { "can't use both " swap$ * " fields in " * cite$ * warning$ }
+ if$
+}
+
+% output.nonnull is called by output.
+
+FUNCTION {output.nonnull}
+% remove the top item from the stack because it's in the way.
+{ 's :=
+ output.state mid.sentence =
+% If we're in mid-sentence, add a comma to the new top item and write it
+ { ", " * write$ }
+% Otherwise, if we're at the beginning of a bibitem,
+ { output.state before.all =
+% just write out the top item from the stack;
+ 'write$
+% and the last alternative is that we're at the end of the current
+% bibitem, so we add a period to the top stack item and write it out.
+ { add.period$ " " * write$ }
+ if$
+ mid.sentence 'output.state :=
+ }
+ if$
+% Put the top item back on the stack that we removed earlier.
+ s
+}
+
+% Output checks to see if the stack top is empty; if not, it
+% calls output.nonnull to write it out.
+
+FUNCTION {output}
+{ duplicate$ empty$
+ 'pop$
+ 'output.nonnull
+ if$
+}
+
+% Standard warning message for a missing or empty field. For the user
+% we call any such field `missing' without respect to the distinction
+% made by BibTeX between missing and empty.
+
+FUNCTION {missing.warning}
+{ "missing " swap$ * " in " * cite$ * warning$ }
+
+% Output.check is like output except that it gives a warning on-screen
+% if the given field in the database entry is empty. t is the field
+% name.
+
+FUNCTION {output.check}
+{ 't :=
+ duplicate$ empty$
+ { pop$ t missing.warning }
+ 'output.nonnull
+ if$
+}
+
+FUNCTION {output.bibitem}
+{ newline$
+ "\bibitem{" write$
+ cite$ write$
+ "}" write$
+ newline$
+% This empty string is the first thing that will be written
+% the next time write$ is called. Done this way because each
+% item is saved on the stack until we find out what punctuation
+% should be added after it. Therefore we need an empty first item.
+ ""
+ before.all 'output.state :=
+}
+
+FUNCTION {fin.entry}
+{ add.period$
+ write$
+ newline$
+}
+
+% Removed new.block, new.block.checka, new.block.checkb, new.sentence,
+% new.sentence.checka, and new.sentence.checkb functions here, since they
+% don't seem to be needed in the AMS style. Also moved some real
+% basic functions like `and' and 'or' earlier in the file.
+
+INTEGERS { nameptr namesleft numnames }
+
+% The extra section to write out a language field was added
+% for AMSPLAIN.BST. Not present in plain.bst.
+
+FUNCTION {format.language}
+{ language empty$
+ { "" }
+ { " (" language * ")" * }
+ if$
+}
+
+% This version of format.names puts names in the format
+%
+% First von Last, Jr.
+%
+% (i.e., first name first, no abbreviating to initials).
+
+FUNCTION {format.names}
+{ 's :=
+ #1 'nameptr :=
+ s num.names$ 'numnames :=
+ numnames 'namesleft :=
+ { namesleft #0 > }
+ { s nameptr "{ff~}{vv~}{ll}{, jj}" format.name$ 't :=
+ nameptr #1 >
+ { namesleft #1 >
+ { ", " * t * }
+ { numnames #2 >
+ { "," * }
+ 'skip$
+ if$
+ t "others" =
+ { " et~al." * }
+ { " and " * t * }
+ if$
+ }
+ if$
+ }
+ 't
+ if$
+ nameptr #1 + 'nameptr :=
+ namesleft #1 - 'namesleft :=
+ }
+ while$
+}
+
+FUNCTION {format.authors}
+{ author empty$
+ { "" }
+ { extra.label "\bysame" =
+ {"\bysame"}
+ { author format.names }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.editors}
+{ editor empty$
+ { "" }
+ { editor format.names
+ editor num.names$ #1 >
+ { " (eds.)" * }
+ { " (ed.)" * }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.nonauthor.editors}
+{ editor empty$
+ { "" }
+ { editor format.names
+ editor num.names$ #1 >
+ { ", eds." * }
+ { ", ed." * }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.title}
+{ title empty$
+ { "" }
+ { title "t" change.case$ emphasize }
+ if$
+}
+
+FUNCTION {format.journal.vol.year}
+{ journal empty$
+ { "journal name" missing.warning ""}
+ { journal }
+ if$
+ volume empty$
+ 'skip$
+ { " \textbf{" * volume * "}" * }
+ if$
+ year empty$
+ { "year" missing.warning }
+ { " (" * year * ")" * }
+ if$
+}
+
+% For formatting the issue number for a journal article.
+
+FUNCTION {format.number}
+{ number empty$
+ { "" }
+ { "no.~" number * }
+ if$
+}
+
+% For formatting miscellaneous dates
+
+FUNCTION {format.date}
+{ year empty$
+ { month empty$
+ { "" }
+ { "there's a month but no year in " cite$ * warning$
+ month
+ }
+ if$
+ }
+ { month empty$
+ 'year
+ { month " " * year * }
+ if$
+ }
+ if$
+}
+
+%% The volume, series and number information is sort of tricky.
+%% This code handles it as follows:
+%% If the series is present, and the volume, but not the number,
+%% then we do "\emph{Book title}, Series Name, vol. 000"
+%% If the series is present, and the number, but not the volume,
+%% then we do "\emph{Book title}, Series Name, no. 000"
+%% If the series is present, and both number and volume,
+%% then we do "\emph{Book title}, vol. XX, Series Name, no. 000"
+%% Finally, if the series is absent,
+%% then we do "\emph{Book title}, vol. XX"
+%% or "\emph{Book title}, no. 000"
+%% and if both volume and number are present, give a warning message.
+
+FUNCTION {format.bookvolume.series.number}
+{ volume empty$
+ { "" % Push the empty string as a placeholder in case everything else
+ % is empty too.
+ series empty$
+ 'skip$
+ { pop$ series } % if series is not empty put in stack
+ if$
+ number empty$
+ 'skip$
+ { duplicate$ empty$ % if no preceding material,
+ 'skip$ % do nothing, otherwise
+ { ", " * } % add a comma and space to separate.
+ if$
+ "no." number tie.or.space.connect * % add the number information
+ }
+ if$
+ }
+%% If the volume is NOT EMPTY:
+ { "vol." volume tie.or.space.connect % vol. XX
+ number empty$
+ { series empty$
+ 'skip$
+ { series ", " * swap$ *} % Series Name, vol. XX
+ if$
+ }
+ { series empty$
+ { "can't use both volume and number if series info is missing"
+ warning$
+ "in BibTeX entry type `" type$ * "'" * top$
+ }
+ { ", " * series * ", no." * number tie.or.space.connect }
+ if$
+ }
+ if$
+ }
+ if$
+
+} % end of format.bookvolume.series.number
+
+%% format.inproc.title.where.editors is used by inproceedings entry types
+
+%% No case changing or emphasizing for the title. We want initial
+%% caps, roman.
+%% We add parentheses around the address (place where conference
+%% was held).
+%% Likewise we add parentheses around the editors' names.
+
+FUNCTION {format.inproc.title.address.editors}
+{ booktitle empty$
+ { "" }
+ { booktitle
+ address empty$
+ 'skip$
+ { add.space.if.necessary "(" * address * ")" * }
+ if$
+ editor empty$
+ 'skip$
+ { add.space.if.necessary "(" * format.nonauthor.editors * ")" * }
+ if$
+ }
+ if$
+}
+
+%% format.incoll.title.editors is similar to format.inproc... but
+%% omits the address. For collections that are not proceedings volumes.
+
+FUNCTION {format.incoll.title.editors}
+{ booktitle empty$
+ { "" }
+ { editor empty$
+ { booktitle }
+ { booktitle
+ add.space.if.necessary "(" * format.nonauthor.editors * ")" *
+ }
+ if$
+ }
+ if$
+}
+
+% Desired output for format.number.series:
+%
+% Lecture Notes in Math., no.~1224
+
+FUNCTION {format.number.series}
+{ series empty$
+ { number empty$
+ { "" }
+ { "there's a number but no series in " cite$ * warning$ }
+ if$
+ }
+ { series
+ number empty$
+ 'skip$
+ { ", no.~" * number * }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.edition}
+{ edition empty$
+ { "" }
+ { output.state mid.sentence =
+ { edition "l" change.case$ " ed." * }
+ { edition "t" change.case$ " ed." * }
+ if$
+ }
+ if$
+}
+
+INTEGERS { multiresult }
+
+FUNCTION {multi.page.check}
+{ 't :=
+ #0 'multiresult :=
+ { multiresult not
+ t empty$ not
+ and
+ }
+ { t #1 #1 substring$
+ duplicate$ "-" =
+ swap$ duplicate$ "," =
+ swap$ "+" =
+ or or
+ { #1 'multiresult := }
+ { t #2 global.max$ substring$ 't := }
+ if$
+ }
+ while$
+ multiresult
+}
+
+FUNCTION {format.pages}
+{ pages empty$
+ { "" }
+ { pages n.dashify }
+ if$
+}
+
+FUNCTION {format.book.pages}
+{ pages empty$
+ { "" }
+ { pages multi.page.check
+ { "pp.~" pages n.dashify * }
+ { "p.~" pages * }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.chapter.pages}
+{ chapter empty$
+ 'format.book.pages
+ { type empty$
+ { "ch.~" }
+ { type "l" change.case$ " " * }
+ if$
+ chapter *
+ pages empty$
+ 'skip$
+ { ", " * format.book.pages * }
+ if$
+ }
+ if$
+}
+
+FUNCTION {empty.misc.check}
+{ author empty$ title empty$ howpublished empty$
+ month empty$ year empty$ note empty$
+ and and and and and
+ key empty$ not and
+ { "all relevant fields are empty in " cite$ * warning$ }
+ 'skip$
+ if$
+}
+
+FUNCTION {format.thesis.type}
+{ type empty$
+ 'skip$
+ { pop$
+ type "t" change.case$
+ }
+ if$
+}
+
+FUNCTION {format.tr.number}
+{ type empty$
+ { "Tech. Report" }
+ 'type
+ if$
+ number empty$
+ { "t" change.case$ }
+ { number tie.or.space.connect }
+ if$
+}
+
+% The format.crossref functions haven't been paid much attention
+% at the present time (June 1990) and could probably use some
+% work. MJD
+
+FUNCTION {format.article.crossref}
+{ key empty$
+ { journal empty$
+ { "need key or journal for " cite$ * " to crossref " * crossref *
+ warning$
+ ""
+ }
+ { "in " journal * }
+ if$
+ }
+ { "in " key * }
+ if$
+ " \cite{" * crossref * "}" *
+}
+
+FUNCTION {format.crossref.editor}
+{ editor #1 "{vv~}{ll}" format.name$
+ editor num.names$ duplicate$
+ #2 >
+ { pop$ " et~al." * }
+ { #2 <
+ 'skip$
+ { editor #2 "{ff }{vv }{ll}{ jj}" format.name$ "others" =
+ { " et~al." * }
+ { " and " * editor #2 "{vv~}{ll}" format.name$ * }
+ if$
+ }
+ if$
+ }
+ if$
+}
+
+FUNCTION {format.book.crossref}
+{ volume empty$
+ { "empty volume in " cite$ * "'s crossref of " * crossref * warning$
+ "in "
+ }
+ { "vol." volume tie.or.space.connect
+ " of " *
+ }
+ if$
+ editor empty$
+ editor field.or.null author field.or.null =
+ or
+ { key empty$
+ { series empty$
+ { "need editor, key, or series for " cite$ * " to crossref " *
+ crossref * warning$
+ "" *
+ }
+ { series * }
+ if$
+ }
+ { key * }
+ if$
+ }
+ { format.crossref.editor * }
+ if$
+ " \cite{" * crossref * "}" *
+}
+
+FUNCTION {format.incoll.inproc.crossref}
+{ editor empty$
+ editor field.or.null author field.or.null =
+ or
+ { key empty$
+ { booktitle empty$
+ { "need editor, key, or booktitle for " cite$ * " to crossref " *
+ crossref * warning$
+ ""
+ }
+ { "in \emph{" booktitle * "}" * }
+ if$
+ }
+ { "in " key * }
+ if$
+ }
+ { "in " format.crossref.editor * }
+ if$
+ " \cite{" * crossref * "}" *
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+% The main functions for each entry type.
+
+% journal, vol and year are formatted together because they are
+% not separated by commas.
+
+FUNCTION {article}
+{ output.bibitem
+ format.authors "author" output.check
+ format.title "title" output.check
+ crossref missing$
+ { format.journal.vol.year output
+ format.number output
+ format.pages "pages" output.check
+ }
+ { format.article.crossref output.nonnull
+ format.pages output
+ }
+ if$
+ format.language *
+ note output
+ fin.entry
+}
+
+FUNCTION {book}
+{ output.bibitem
+ author empty$
+ { format.editors "author and editor" output.check }
+ { format.authors output.nonnull
+ crossref missing$
+ { "author and editor" editor either.or.check }
+ 'skip$
+ if$
+ }
+ if$
+ format.title "title" output.check
+ format.edition output
+ crossref missing$
+ { format.bookvolume.series.number output
+ publisher "publisher" output.check
+ address output
+ }
+ { format.book.crossref output.nonnull
+ }
+ if$
+ format.date "year" output.check
+ format.language *
+ note output
+ fin.entry
+}
+
+FUNCTION {booklet}
+{ output.bibitem
+ format.authors output
+ format.title "title" output.check
+ howpublished output
+ address output
+ format.date output
+ note output
+ fin.entry
+}
+
+FUNCTION {inbook}
+{ output.bibitem
+ author empty$
+ { format.editors "author and editor" output.check }
+ { format.authors output.nonnull
+ crossref missing$
+ { "author and editor" editor either.or.check }
+ 'skip$
+ if$
+ }
+ if$
+ format.title "title" output.check
+ format.edition output
+ crossref missing$
+ { format.bookvolume.series.number output
+ format.chapter.pages "chapter and pages" output.check
+ publisher "publisher" output.check
+ address output
+ }
+ { format.chapter.pages "chapter and pages" output.check
+ format.book.crossref output.nonnull
+ }
+ if$
+ format.date "year" output.check
+ format.language *
+ note output
+ fin.entry
+}
+
+FUNCTION {incollection}
+{ output.bibitem
+ format.authors "author" output.check
+ format.title "title" output.check
+ crossref missing$
+ { format.incoll.title.editors "booktitle" output.check
+ format.bookvolume.series.number output
+ publisher "publisher" output.check
+ address output
+ format.edition output
+ format.date "year" output.check
+ }
+ { format.incoll.inproc.crossref output.nonnull
+ }
+ if$
+ note output
+ format.book.pages output
+ format.language *
+ fin.entry
+}
+
+FUNCTION {inproceedings}
+{ output.bibitem
+ format.authors "author" output.check
+ format.title "title" output.check
+ crossref missing$
+ { format.inproc.title.address.editors "booktitle" output.check
+ format.bookvolume.series.number output
+ organization output
+ publisher output
+ format.date "year" output.check
+ }
+ { format.incoll.inproc.crossref output.nonnull
+ }
+ if$
+ note output
+ format.book.pages output
+ format.language *
+ fin.entry
+}
+
+FUNCTION {conference} { inproceedings }
+
+FUNCTION {manual}
+{ output.bibitem
+ author empty$
+ { organization empty$
+ 'skip$
+ { organization output.nonnull
+ address output
+ }
+ if$
+ }
+ { format.authors output.nonnull }
+ if$
+ format.title "title" output.check
+ author empty$
+ { organization empty$
+ { address output }
+ 'skip$
+ if$
+ }
+ { organization output
+ address output
+ }
+ if$
+ format.edition output
+ format.date output
+ note output
+ fin.entry
+}
+
+FUNCTION {mastersthesis}
+{ output.bibitem
+ format.authors "author" output.check
+ format.title "title" output.check
+ "Master's thesis" format.thesis.type output.nonnull
+ school "school" output.check
+ address output
+ format.date "year" output.check
+ note output
+ format.book.pages output
+ fin.entry
+}
+
+FUNCTION {misc}
+{ output.bibitem
+ format.authors output
+ format.title output
+ howpublished output
+ format.date output
+ note output
+ format.book.pages output
+ fin.entry
+ empty.misc.check
+}
+
+FUNCTION {phdthesis}
+{ output.bibitem
+ format.authors "author" output.check
+ format.title "title" output.check
+ "Ph.D. thesis" format.thesis.type output.nonnull
+ school "school" output.check
+ address output
+ format.date "year" output.check
+ note output
+ format.book.pages output
+ fin.entry
+}
+
+FUNCTION {proceedings}
+{ output.bibitem
+ editor empty$
+ { organization output }
+ { format.editors output.nonnull }
+ if$
+ format.title "title" output.check
+ format.bookvolume.series.number output
+ address empty$
+ { editor empty$
+ 'skip$
+ { organization output }
+ if$
+ publisher output
+ format.date "year" output.check
+ }
+ { address output.nonnull
+ editor empty$
+ 'skip$
+ { organization output }
+ if$
+ publisher output
+ format.date "year" output.check
+ }
+ if$
+ note output
+ fin.entry
+}
+
+FUNCTION {techreport}
+{ output.bibitem
+ format.authors "author" output.check
+ format.title "title" output.check
+ format.tr.number output.nonnull
+ institution "institution" output.check
+ address output
+ format.date "year" output.check
+ note output
+ fin.entry
+}
+
+FUNCTION {unpublished}
+{ output.bibitem
+ format.authors "author" output.check
+ format.title "title" output.check
+ note "note" output.check
+ format.date output
+ fin.entry
+}
+
+FUNCTION {default.type} { misc }
+
+MACRO {jan} {"January"}
+
+MACRO {feb} {"February"}
+
+MACRO {mar} {"March"}
+
+MACRO {apr} {"April"}
+
+MACRO {may} {"May"}
+
+MACRO {jun} {"June"}
+
+MACRO {jul} {"July"}
+
+MACRO {aug} {"August"}
+
+MACRO {sep} {"September"}
+
+MACRO {oct} {"October"}
+
+MACRO {nov} {"November"}
+
+MACRO {dec} {"December"}
+
+READ
+
+FUNCTION {sortify}
+{ purify$
+ "l" change.case$
+}
+
+INTEGERS { len }
+
+FUNCTION {chop.word}
+{ 's :=
+ 'len :=
+ s #1 len substring$ =
+ { s len #1 + global.max$ substring$ }
+ 's
+ if$
+}
+
+FUNCTION {sort.format.names}
+{ 's :=
+ #1 'nameptr :=
+ ""
+ s num.names$ 'numnames :=
+ numnames 'namesleft :=
+ { namesleft #0 > }
+ { nameptr #1 >
+ { " " * }
+ 'skip$
+ if$
+ s nameptr "{vv{ } }{ll{ }}{ ff{ }}{ jj{ }}" format.name$ 't :=
+ nameptr numnames = t "others" = and
+ { "et al" * }
+ { t sortify * }
+ if$
+ nameptr #1 + 'nameptr :=
+ namesleft #1 - 'namesleft :=
+ }
+ while$
+}
+
+FUNCTION {sort.format.title}
+{ 't :=
+ "A " #2
+ "An " #3
+ "The " #4 t chop.word
+ chop.word
+ chop.word
+ sortify
+ #1 global.max$ substring$
+}
+
+FUNCTION {author.sort}
+{ author empty$
+ { key empty$
+ { "to sort, need author or key in " cite$ * warning$
+ ""
+ }
+ { key sortify }
+ if$
+ }
+ { author sort.format.names }
+ if$
+}
+
+FUNCTION {author.editor.sort}
+{ author empty$
+ { editor empty$
+ { key empty$
+ { "to sort, need author, editor, or key in " cite$ * warning$
+ ""
+ }
+ { key sortify }
+ if$
+ }
+ { editor sort.format.names }
+ if$
+ }
+ { author sort.format.names }
+ if$
+}
+
+FUNCTION {author.organization.sort}
+{ author empty$
+ { organization empty$
+ { key empty$
+ { "to sort, need author, organization, or key in " cite$ * warning$
+ ""
+ }
+ { key sortify }
+ if$
+ }
+ { "The " #4 organization chop.word sortify }
+ if$
+ }
+ { author sort.format.names }
+ if$
+}
+
+FUNCTION {editor.organization.sort}
+{ editor empty$
+ { organization empty$
+ { key empty$
+ { "to sort, need editor, organization, or key in " cite$ * warning$
+ ""
+ }
+ { key sortify }
+ if$
+ }
+ { "The " #4 organization chop.word sortify }
+ if$
+ }
+ { editor sort.format.names }
+ if$
+}
+
+FUNCTION {presort}
+{ type$ "book" =
+ type$ "inbook" =
+ or
+ 'author.editor.sort
+ { type$ "proceedings" =
+ 'editor.organization.sort
+ { type$ "manual" =
+ 'author.organization.sort
+ 'author.sort
+ if$
+ }
+ if$
+ }
+ if$
+ " "
+ *
+ year field.or.null sortify
+ *
+ " "
+ *
+ title field.or.null
+ sort.format.title
+ *
+ #1 entry.max$ substring$
+ 'sort.key$ :=
+}
+
+ITERATE {presort}
+
+SORT
+
+STRINGS { longest.label prev.author this.author }
+
+INTEGERS { number.label longest.label.width }
+
+FUNCTION {initialize.longest.label}
+{ "" 'longest.label :=
+ #1 'number.label :=
+ #0 'longest.label.width :=
+ "abcxyz" 'prev.author :=
+ "" 'this.author :=
+}
+
+FUNCTION {longest.label.pass}
+{ number.label int.to.str$ 'label :=
+ number.label #1 + 'number.label :=
+ label width$ longest.label.width >
+ { label 'longest.label :=
+ label width$ 'longest.label.width :=
+ }
+ 'skip$
+ if$
+ author empty$
+ { editor empty$
+ { "" }
+ 'editor
+ if$
+ }
+ 'author
+ if$
+ 'this.author :=
+ this.author prev.author =
+ { "\bysame" 'extra.label := }
+ { "" 'extra.label :=
+ this.author "" =
+ { "abcxyz" }
+ 'this.author
+ if$
+ 'prev.author :=
+ }
+ if$
+}
+
+EXECUTE {initialize.longest.label}
+
+ITERATE {longest.label.pass}
+
+FUNCTION {begin.bib}
+{ preamble$ empty$
+ 'skip$
+ { preamble$ write$ newline$ }
+ if$
+ "\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}"
+ write$ newline$
+ "\begin{thebibliography}{" longest.label * "}" * write$ newline$
+}
+
+EXECUTE {begin.bib}
+
+EXECUTE {init.state.consts}
+
+ITERATE {call.type$}
+
+FUNCTION {end.bib}
+{ newline$
+ "\end{thebibliography}" write$ newline$
+}
+
+EXECUTE {end.bib}
+%% \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 \~}
diff --git a/Master/texmf-dist/doc/latex/mil3/amsart.tpl b/Master/texmf-dist/doc/latex/mil3/amsart.tpl
new file mode 100644
index 00000000000..22093b06205
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/amsart.tpl
@@ -0,0 +1,187 @@
+% Sample file: amsart.tpl
+% Typeset with LaTeX format
+
+% Preamble
+\documentclass{amsart}
+\usepackage{amssymb,latexsym}
+
+% Option 1
+% Theorems, lemmas, definitions in the most
+% emphatic (plain) style, all separately numbered.
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\newtheorem{lemma}{Lemma}
+\newtheorem{definition}{Definition}
+
+% Option 2
+% Theorems, lemmas, definitions, and corollaries in the most
+% emphatic (plain) style, all consecutively numbered.
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\newtheorem{lemma}[theorem]{Lemma}
+\newtheorem{definition}[theorem]{Definition}
+\newtheorem{corollary}[theorem]{Corollary}
+
+% Option 3
+% Theorems, propositions, lemmas, and definitions
+% in the most emphatic (plain) style. Propositions and lemmas are
+% consecutively numbered within sections.
+% Notations in the less emphatic (definition) style;
+% the notations are not numbered.
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\newtheorem{proposition}{Proposition}[section]
+\newtheorem{lemma}[Proposition]{Lemma}
+\newtheorem{definition}{Definition}
+
+\theoremstyle{definition}
+\newtheorem*{notation}{Notation}
+
+% Option 4
+% Theorems, definitions, and lemmas in the most emphatic
+% (plain) style. Definitions and lemmas are consecutively
+% numbered within sections. There is a Main Theorem in
+% the most emphatic (plain) style, unnumbered. There are
+%rules, in the less emphatic (definition) style, unnumbered.
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\newtheorem*{main}{Main Theorem}
+\newtheorem{definition}{Definition}[section]
+\newtheorem{lemma}[Definition]{Lemma}[section]
+
+\theoremstyle{definition}
+\newtheorem*{Rule}{Rule}
+
+% Option 5
+% Theorems, corollaries, lemmas, and propositions, in the most
+% emphatic (plain) style; all are numbered separately.
+% There is a Main Theorem in the most emphatic (plain)
+% style, unnumbered. There are definitions, in the less emphatic
+% (definition) style. There are notations, in the least emphatic
+%(remark) style, unnumbered.
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\newtheorem{corollary}{Corollary}
+\newtheorem*{main}{Main Theorem}
+\newtheorem{lemma}{Lemma}
+\newtheorem{proposition}{Proposition}
+
+\theoremstyle{definition}
+\newtheorem{definition}{Definition}
+
+\theoremstyle{remark}
+\newtheorem*{notation}{Notation}
+
+\begin{document}
+% One author
+\title[shorttitle]{titleline1\\
+ titleline2}
+\author{name}
+\address{line1\\
+ line2\\
+ line3}
+\email{name@address}
+\urladdr{http://webaddress}
+\thanks{thanks}
+% End one author
+
+% Two authors
+\title[shorttitle]{titleline1\\
+ titleline2}
+\author{firstauthor}
+\address{line1\\
+ line2\\
+ line3}
+\email{firstauthor@email address}
+\urladdr{http://firstauthorwebaddress}
+\thanks{The firstauthor ... thanks}
+\author{secondauthor}
+\address{address2line1\\
+ address2line2\\
+ address2line3}
+\email{secondauthor@email address}
+\urladdr{http://secondauthorwebaddress}
+\thanks{The second author ... thanks}
+% End two authors
+
+\keywords{keywords}
+\subjclass[2000]{Primary: subject; Secondary: subject}
+\date{date}
+
+\begin{abstract}
+ abstract
+\end{abstract}
+\maketitle
+
+\begin{thebibliography}{99}
+
+\end{thebibliography}
+\end{document}
+
+Papers:
+
+\bibitem{xxx}
+ author, \emph{title}, journal \textbf{volume}
+ (year), pp.~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/mil3/article.tpl b/Master/texmf-dist/doc/latex/mil3/article.tpl
new file mode 100644
index 00000000000..62dd64d2f25
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/article.tpl
@@ -0,0 +1,92 @@
+% Sample file: article.tpl
+% Typeset with LaTeX format
+\documentclass{article}
+\usepackage{amssymb,latexsym,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{name\thanks{support}\\
+ addressline1\\
+ addressline2\\
+ addressline3}
+\date{date}
+\maketitle
+
+\begin{abstract}
+ abstract text
+\end{abstract}
+
+\begin{thebibliography}{99}
+ bibliographic entries
+\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/mil3/article2.tpl b/Master/texmf-dist/doc/latex/mil3/article2.tpl
new file mode 100644
index 00000000000..447014b8664
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/article2.tpl
@@ -0,0 +1,97 @@
+% Sample file: article2.tpl for two authors
+% Typeset with LaTeX format
+\documentclass{article}
+\usepackage{amssymb,latexsym,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{name1\thanks{support1}\\
+ address1line1\\
+ address1line2\\
+ address1line3
+ \and
+ name2\thanks{support2}\\
+ address2line1\\
+ address2line2\\
+ address2line3}
+\date{date}
+\maketitle
+
+\begin{abstract}
+ abstract text
+\end{abstract}
+
+\begin{thebibliography}{99}
+ bibliographic entries
+\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/mil3/contents b/Master/texmf-dist/doc/latex/mil3/contents
new file mode 100644
index 00000000000..bf07a88b12f
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/contents
@@ -0,0 +1,43 @@
+ams-alph.bst BibTeX style file, see below
+ams-pln.bst BibTeX style file, see below
+amsart.tpl AMS article template for one author, Section 8.4
+article.tpl article template for one author, Section 1.8
+article2.tpl article template for two authors, Section 1.8
+fonttbl.tex font table generator, Section 2.4.4
+gallery.tex formulas of the Formula Gallery, Section 1.5
+german.tex Babel with the german option, Appendix E
+ggamsart.tpl personalized template for amsart document class, Section 8.4
+ggart.tpl article.tpl personalized, Section 1.8
+ggart2.tpl article2.tpl personalized, Section 1.8
+gratzer locator document
+inbibl.tpl templates for bibliographic entries, Section 6.5.1
+intrart.tex introductory sample article, Section 1.7
+intrarti.tex introductory sample article, Section 11.1
+lattice.sty personalized file for user defined commands, Section 9.3
+letter.tex sample letter, Section 7.2
+master.tex master document for svsing6 book class, Appendix F
+math.tex first note with math, Section 1.2.1
+mathb.tex first note with math with mistakes, Section 1.2.2
+multiline.tpl formulas in Chapter 5
+note1.tex first note, Section 1.1.2
+note1b.tex note1.tex with lines too long, Section 1.1.3
+note2.tex second note, Section 1.1.4
+noteslug.tex note1b.tex with slug, Section 1.1.3
+sampart.tex AMS sample article, Section 8.3
+sampartb.bib bibliographic database file for sampartb.tex, Section 10.2.1
+sampartb.tex AMS sample article to be used BibTeX, Section 10.2.1
+sampartu.tex AMS sample article with user defined commands, Section 9.4
+sample.html sample HTML code, Section 14.1
+svsing6.cls a book class of Springer-Verlag, New York, used in Appendix F
+template.bib sample entry types in a bibliographic database file, Section 10.1.1
+textenv.tpl text environments in Chapter 3 and custom lists in Section 9.6
+topmat.tpl AMS top-matter samples, Section 8.2.5
+
+In Chapter 10, the examples were made with the AMS bibliographic style file,
+amsplain.bst. Oren Patashnik pointed out a very minor error in both
+AMS bibliographic style files: The "in" used in cross-referencing is capitalized.
+ams-alph.bst and ams-pln.bst are identical with version 1.2c of the AMS BibTeX style files,
+except that this error was corrected.
+
+On CTAN, there is one more file: gratzer, so that users searching for gratzer on CTAN find
+the directory in which these files are placed.
diff --git a/Master/texmf-dist/doc/latex/mil3/fonttbl.tex b/Master/texmf-dist/doc/latex/mil3/fonttbl.tex
new file mode 100644
index 00000000000..fa9c821348b
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/fonttbl.tex
@@ -0,0 +1,142 @@
+% Instruction:
+% Typeset the document with LaTeX format
+% Type in a line to choose the font you want to be
+% represented in the tables
+% or select the font by uncommenting lines.
+% For instance, to get the tables for CM
+% typewriter style, uncomment the \ttfamily line
+% To get the tables for Times roman
+% uncomment the \usepackage{times} line.
+
+\documentclass{article}
+% \usepackage{times}
+\begin{document}
+% \rmfamily % roman
+% \sffamily % sans serif
+% \ttfamily % typewriter style
+% \bfseries % bold
+% \itshape % italics
+% \scshape % small caps
+
+\begin{center}
+\begin{tabular}{r|l|l|l|l|l|l|l|l|l|l}
+ & 0 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9\\\hline
+
+0& \symbol{0} &\symbol{1}&\symbol{2}&\symbol{3}&
+\symbol{4}&\symbol{5}&\symbol{6}&\symbol{7}&
+\symbol{8}&\symbol{9}\\ \hline
+
+10& \symbol{10} &\symbol{11}&\symbol{12}&\symbol{13}&
+\symbol{14}&\symbol{15}&\symbol{16}&\symbol{17}&
+\symbol{18}&\symbol{19}\\ \hline
+
+20& \symbol{20} &\symbol{21}&\symbol{22}&\symbol{23}&
+\symbol{24}&\symbol{25}&\symbol{26}&\symbol{27}&
+\symbol{28}&\symbol{29}\\ \hline
+
+30& \symbol{30} &\symbol{31}&\symbol{32}&\symbol{33}&
+\symbol{34}&\symbol{35}&\symbol{36}&\symbol{37}&
+\symbol{38}&\symbol{39}\\ \hline
+
+40& \symbol{40} &\symbol{41}&\symbol{42}&\symbol{43}&
+\symbol{44}&\symbol{45}&\symbol{46}&\symbol{47}&
+\symbol{48}&\symbol{49}\\ \hline
+
+50& \symbol{50} &\symbol{51}&\symbol{52}&\symbol{53}&
+\symbol{54}&\symbol{55}&\symbol{56}&\symbol{57}&
+\symbol{58}&\symbol{59}\\ \hline
+
+60& \symbol{60} &\symbol{61}&\symbol{62}&\symbol{63}&
+\symbol{64}&\symbol{65}&\symbol{66}&\symbol{67}&
+\symbol{68}&\symbol{69}\\ \hline
+
+70& \symbol{70} &\symbol{71}&\symbol{72}&\symbol{73}&
+\symbol{74}&\symbol{75}&\symbol{76}&\symbol{77}&
+\symbol{78}&\symbol{79}\\ \hline
+
+80& \symbol{80} &\symbol{81}&\symbol{82}&\symbol{83}&
+\symbol{84}&\symbol{85}&\symbol{86}&\symbol{87}&
+\symbol{88}&\symbol{89}\\ \hline
+
+90& \symbol{90} &\symbol{91}&\symbol{92}&\symbol{93}&
+\symbol{94}&\symbol{95}&\symbol{96}&\symbol{97}&
+\symbol{98}&\symbol{99}\\ \hline
+
+100& \symbol{100} &\symbol{101}&\symbol{102}&\symbol{103}&
+\symbol{104}&\symbol{105}&\symbol{106}&\symbol{107}&
+\symbol{108}&\symbol{109}\\ \hline
+
+110& \symbol{110} &\symbol{111}&\symbol{112}&\symbol{113}&
+\symbol{114}&\symbol{115}&\symbol{116}&\symbol{117}&
+\symbol{118}&\symbol{119}\\ \hline
+
+120& \symbol{120} &\symbol{121}&\symbol{122}&\symbol{123}&
+\symbol{124}&\symbol{125}&\symbol{126}&\symbol{127} & & \\ \hline
+\end{tabular}
+
+\medskip
+Lower font table
+
+\bigskip
+\begin{tabular}{r|l|l|l|l|l|l|l|l|l|l}
+ & 0 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9\\\hline
+
+120& & & & & & & & &\symbol{128} & \symbol{129}\\ \hline
+
+130& \symbol{130} &\symbol{131}&\symbol{132}&\symbol{133}&
+\symbol{134}&\symbol{135}&\symbol{136}&\symbol{137}&
+\symbol{138}&\symbol{139}\\ \hline
+
+140& \symbol{140} &\symbol{141}&\symbol{142}&\symbol{143}&
+\symbol{144}&\symbol{145}&\symbol{146}&\symbol{147}&
+\symbol{148}&\symbol{149}\\ \hline
+
+150& \symbol{150} &\symbol{151}&\symbol{152}&\symbol{153}&
+\symbol{154}&\symbol{155}&\symbol{156}&\symbol{157}&
+\symbol{158}&\symbol{159}\\ \hline
+
+160& \symbol{160} &\symbol{161}&\symbol{162}&\symbol{163}&
+\symbol{164}&\symbol{165}&\symbol{166}&\symbol{167}&
+\symbol{168}&\symbol{169}\\ \hline
+
+170& \symbol{170} &\symbol{171}&\symbol{172}&\symbol{173}&
+\symbol{174}&\symbol{175}&\symbol{176}&\symbol{177}&
+\symbol{178}&\symbol{179}\\ \hline
+
+180& \symbol{180} &\symbol{181}&\symbol{182}&\symbol{183}&
+\symbol{184}&\symbol{185}&\symbol{186}&\symbol{187}&
+\symbol{188}&\symbol{189}\\ \hline
+
+190& \symbol{190} &\symbol{191}&\symbol{192}&\symbol{193}&
+\symbol{194}&\symbol{195}&\symbol{196}&\symbol{197}&
+\symbol{198}&\symbol{199}\\ \hline
+
+200& \symbol{200} &\symbol{201}&\symbol{202}&\symbol{203}&
+\symbol{204}&\symbol{205}&\symbol{206}&\symbol{207}&
+\symbol{208}&\symbol{209}\\ \hline
+
+210& \symbol{210} &\symbol{211}&\symbol{212}&\symbol{213}&
+\symbol{214}&\symbol{215}&\symbol{216}&\symbol{217}&
+\symbol{218}&\symbol{219}\\ \hline
+
+220& \symbol{220} &\symbol{221}&\symbol{222}&\symbol{223}&
+\symbol{224}&\symbol{225}&\symbol{226}&\symbol{227}&
+\symbol{228}&\symbol{229}\\ \hline
+
+230& \symbol{230} &\symbol{231}&\symbol{232}&\symbol{233}&
+\symbol{234}&\symbol{235}&\symbol{236}&\symbol{237}&
+\symbol{238}&\symbol{239}\\ \hline
+
+240& \symbol{240} &\symbol{241}&\symbol{242}&\symbol{243}&
+\symbol{244}&\symbol{245}&\symbol{246}&\symbol{247}&
+\symbol{248}&\symbol{249}\\ \hline
+
+250& \symbol{250} &\symbol{251}&\symbol{252}&\symbol{253}&
+\symbol{254}&\symbol{255}& & & & \\ \hline
+
+\end{tabular}
+
+\medskip
+Upper font table
+\end{center}
+\end{document} \ No newline at end of file
diff --git a/Master/texmf-dist/doc/latex/mil3/gallery.tex b/Master/texmf-dist/doc/latex/mil3/gallery.tex
new file mode 100644
index 00000000000..9bd056de146
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/gallery.tex
@@ -0,0 +1,263 @@
+% Sample file: gallery.tex formula template file
+% Typeset with LaTeX format
+
+\documentclass{article}
+
+\usepackage{amssymb,latexsym,amsmath}
+
+\begin{document}
+
+Section 1.4. Building a formula step-by-step
+
+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) }$
+
+$\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}}\]
+
+Section 1.5 Formula gallery
+
+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{ 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
+\[
+ y^C \equiv z \vee \bigvee_{ i \in C } \left[ s_{i}^{C} \right]
+ \pmod{ \Phi }
+\]
+
+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. \widehat{F}(x) \right|_{a}^{b}
+ = \widehat{F}(b) - \widehat{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
+\]
+
+\[
+ \left\|\begin{array}{cc}
+ a + b + c & uv\\
+ a + b & c + d
+ \end{array}\right\|
+ = 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}, \ldots, 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}\\[10pt]
+ \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}
+\]
+
+
+Section 9.1.3 User-defined commands
+
+Formula 20 with user-defined commands:
+
+\newcommand{\quot}[2]{%
+\dfrac{\varphi \cdot X_{n, #1}}%
+{\varphi_{#2} \times \varepsilon_{#1}}}
+\newcommand{\exn}[1]{(x+\varepsilon_{#1})^{#1}}
+
+\[
+ \mathbf{A} =
+ \begin{pmatrix}
+ \quot{1}{1} & \exn{2} & \cdots & \exn{n - 1}
+ & \exn{n}\\[10pt]
+ \quot{1}{2} & \quot{2}{2} & \cdots & \exn{n - 1}
+ &\exn{n}\\
+ \hdotsfor{5}\\
+ \quot{1}{n} & \quot{2}{n} & \cdots &
+ \quot{n - 1}{n} & \quot{n}{n}
+ \end{pmatrix}
+ + \mathbf{I}_{n}
+\]
+\end{document}
+
diff --git a/Master/texmf-dist/doc/latex/mil3/german.tex b/Master/texmf-dist/doc/latex/mil3/german.tex
new file mode 100644
index 00000000000..a8089a6bb27
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/german.tex
@@ -0,0 +1,14 @@
+%Sample file for Babel with german
+\documentclass{article}
+\usepackage[german]{babel}
+\usepackage[T1]{fontenc}
+
+\begin{document}
+\section{H"ullenoperatoren}
+Es sei $P$ eine teilweise geordnete Menge. Wir
+sagen, da"s in $P$ ein \emph{H"ullenoperator}
+$\lambda$ erkl"art ist, wenn sich jedem $a \in P$
+ein eindeuting bestimmtes $\lambda(a) \in P$
+zuordnen l"a"st, so da"s die folgenden
+Bedingungen erf"ullt sind.
+\end{document}
diff --git a/Master/texmf-dist/doc/latex/mil3/ggamsart.tpl b/Master/texmf-dist/doc/latex/mil3/ggamsart.tpl
new file mode 100644
index 00000000000..22987b91a6e
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/ggamsart.tpl
@@ -0,0 +1,113 @@
+% Sample file: ggamsart.tpl
+% Typeset with LaTeX format
+
+% Preamble
+\documentclass{amsart}
+\usepackage{amssymb,latexsym}
+
+% Theorems, corollaries, lemmas, and propositions, in the most
+% emphatic (plain) style; all are numbered separately.
+% There is a Main Theorem in the most emphatic (plain)
+% style, unnumbered. There are definitions, in the less emphatic
+% (definition) style. There are notations, in the least emphatic
+%(remark) style, unnumbered.
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\newtheorem{corollary}{Corollary}
+\newtheorem*{main}{Main Theorem}
+\newtheorem{lemma}{Lemma}
+\newtheorem{proposition}{Proposition}
+
+\theoremstyle{definition}
+\newtheorem{definition}{Definition}
+
+\theoremstyle{remark}
+\newtheorem*{notation}{Notation}
+
+\begin{document}
+\title[short title]{titleline1\\
+ titleline2}
+% One author
+\author{George Gr\"{a}tzer}
+\address{University of Manitoba\\
+ Department of Mathematics\\
+ Winnipeg, MB R3T 2N2\\
+ Canada}
+\email{gratzer@cc.umanitoba.ca}
+\urladdr{http://server.maths.umanitoba.ca/homepages/gratzer/}
+\thanks{Research supported by the NSERC of Canada}
+% End one author
+
+\keywords{keywords}
+\subjclass[2000]{Primary: subject; Secondary: subject}
+\date{date}
+
+\begin{abstract}
+ abstract text
+\end{abstract}
+\maketitle
+
+% Bibliography
+\begin{thebibliography}{99}
+ bibliographic entries
+\end{thebibliography}
+\end{document}
+
+Papers:
+
+\bibitem{xxx}
+author, \emph{title}, journal \textbf{volume} (year),
+pp.~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/mil3/ggart.tpl b/Master/texmf-dist/doc/latex/mil3/ggart.tpl
new file mode 100644
index 00000000000..539084e7b5d
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/ggart.tpl
@@ -0,0 +1,97 @@
+% Sample file: ggart.tpl
+% Typeset with LaTeX format
+
+\documentclass{article}
+\usepackage{latexsym}
+
+\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, MB 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/mil3/ggart2.tpl b/Master/texmf-dist/doc/latex/mil3/ggart2.tpl
new file mode 100644
index 00000000000..09350d4b0eb
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/ggart2.tpl
@@ -0,0 +1,101 @@
+% Sample file: ggart2.tpl for two authors
+% Typeset with LaTeX format
+
+\documentclass{article}
+\usepackage{latexsym}
+
+\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, MB R3T 2N2\\
+ Canada
+ \and
+ name2\thanks{support2}\\
+ address2line1\\
+ address2line2\\
+ address2line3}
+\date{date}
+\maketitle
+
+\begin{abstract}
+ abstract
+\end{abstract}
+
+\begin{thebibliography}{99}
+ bibliographic entries
+\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/mil3/gratzer b/Master/texmf-dist/doc/latex/mil3/gratzer
new file mode 100644
index 00000000000..5de320e02af
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/gratzer
@@ -0,0 +1,7 @@
+This small document was added to the mil3 (Math into
+LaTeX, third edition) distribution, so that people looking for
+it with
+
+quote site index gratzer
+
+would find it.
diff --git a/Master/texmf-dist/doc/latex/mil3/inbibl.tpl b/Master/texmf-dist/doc/latex/mil3/inbibl.tpl
new file mode 100644
index 00000000000..e96bdbcc032
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/inbibl.tpl
@@ -0,0 +1,74 @@
+% 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,
+ January, 1970, no translation available, pp.~173--215 (German).
+\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.
+\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.
+\bibitem{pK69}
+ Peter Konig,
+ \emph{Composition of functions},
+ Proceedings of the Conference on Universal Algebra
+ (Kingston, 1969).
+\bibitem{pK69a}
+ Peter Konig,
+ \emph{Composition of functions},
+ Proceedings of the Conference on Universal Algebra
+ (G.~H. Birnbaum, ed.),
+ vol.~7, Canadian Mathematical Society,
+ Queen's Univ., Kingston, ON,
+ 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.
+\bibitem{gM68}
+ George~A. Menuhin,
+ \emph{Universal algebra},
+ D.~van Nostrand, Princeton, 1968.
+\bibitem{gM68a}
+ George~A. Menuhin,
+ \emph{Universal algebra}, second ed.,
+ University Series in Higher Mathematics, vol.~58,
+ D.~van Nostrand, Princeton,
+ March, 1968 (English), no Russian translation.
+\bibitem{eM57}
+ Ernest~T. Moynahan,
+ \emph{On a problem of M. Stone},
+ Acta Math. Acad. Sci. Hungar. \textbf{8}~(1957), 455--460.
+\bibitem{eM57a}
+ Ernest~T. Moynahan,
+ \emph{On a problem of M. Stone},
+ Acta Math. Acad. Sci. Hungar. \textbf{8}~(1957), 455--460
+ (English), Russian translation available.
+\end{thebibliography}
diff --git a/Master/texmf-dist/doc/latex/mil3/intrart.tex b/Master/texmf-dist/doc/latex/mil3/intrart.tex
new file mode 100644
index 00000000000..724be01586c
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/intrart.tex
@@ -0,0 +1,127 @@
+% Introductory sample article: intrart.tex
+% Typeset with LaTeX format
+
+\documentclass{article}
+\usepackage{latexsym}
+\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, MN 23714\\
+ menuhin@cc.uwinnebago.edu}
+\date{March 15, 1999}
+\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 the proof of our Theorem:
+
+\begin{definition}\label{D:P*}
+ Let $D_{i}$, for $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 \ldots, 0, \ldots, d, \ldots, 0, \ldots \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 \ldots, d, \ldots, 0, \ldots \rangle \equiv
+ \langle \ldots, c, \ldots, 0, \ldots \rangle \pmod{\Theta},
+ \end{equation}
+ then $\Theta = \iota$.
+\end{theorem}
+
+\emph{Proof.} Since
+\begin{equation}\label{E:cong2}
+ \langle \ldots, d, \ldots, 0, \ldots \rangle \equiv
+ \langle \ldots, c, \ldots, 0, \ldots \rangle \pmod{\Theta},
+\end{equation}
+and $\Theta$ is a complete congruence relation, it follows
+from condition~(J) that
+\begin{equation}\label{E:cong}
+ \langle \ldots, d, \ldots, 0, \ldots \rangle \equiv
+ \bigvee ( \langle \ldots, c, \ldots, 0, \ldots \rangle
+ \mid d \leq c < 1 ) \pmod{\Theta}.
+\end{equation}
+
+Let $j \in I$, $j \neq i$, and let $a \in D_{j}^{-}$.
+Meeting both sides of the congruence (\ref{E:cong2}) with
+$\langle \ldots, a, \ldots, 0, \ldots \rangle$, we obtain that
+\begin{equation}\label{E:comp}
+ 0 = \langle \ldots, a, \ldots, 0, \ldots \rangle \pmod{\Theta},
+\end{equation}
+Using the completeness of $\Theta$ and (\ref{E:comp}),
+we get:
+\[
+ 0 \equiv \bigvee ( \langle \ldots, a, \ldots, 0, \ldots
+ \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, 1968.
+ \bibitem{eM57}
+ Ernest~T. Moynahan,
+ \emph{On a problem of M. 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/mil3/intrarti.tex b/Master/texmf-dist/doc/latex/mil3/intrarti.tex
new file mode 100644
index 00000000000..ae5bc357006
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/intrarti.tex
@@ -0,0 +1,142 @@
+% Introductory sample article with index entries: intrarti.tex
+% Typeset with LaTeX format
+
+\documentclass{article}
+\usepackage{latexsym}
+\newtheorem{theorem}{Theorem}
+\newtheorem{definition}{Definition}
+
+\newtheorem{notation}{Notation}
+\usepackage{makeidx}
+\makeindex
+
+\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, MN 23714\\
+ menuhin@cc.uwinnebago.edu}
+\date{March 15, 1999}
+\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}\index{Main 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*}
+\index{pistar@$\Pi^{*}$ construction}
+\index{Main Theorem!exposition|(}
+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}
+\index{<@$\langle \dots, 0, \dots, d, \dots, 0,
+ \dots \rangle$|textbf}
+ If $i \in I$ and $d \in D_{i}^{-}$, then
+ \[
+ \langle \ldots, 0, \ldots, d, \ldots, 0, \ldots \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.
+\index{Moynahan, Ernest~T.}%
+Moynahan~\cite{eM57a}.
+
+Next we verify the following result:
+\index{lattice}%
+\index{lattice!distributive}%
+\index{lattice!distributive!complete}%
+\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:cong}
+ \langle \ldots, d, \ldots, 0, \ldots \rangle \equiv
+ \bigvee ( \langle \ldots, c, \ldots, 0, \ldots \rangle
+ \mid d \leq c < 1 ) \pmod{\Theta}.
+\end{equation}
+ then $\Theta = \iota$.
+\end{theorem}
+
+\emph{Proof.} Since
+\begin{equation}\label{E:cong2}
+ \langle \ldots, d, \ldots, 0, \ldots \rangle \equiv
+ \langle \ldots, c, \ldots, 0, \ldots \rangle \pmod{\Theta},
+\end{equation}
+and $\Theta$ is a complete congruence relation, it follows
+from condition~(J) that
+\begin{equation}\label{E:cong}
+ \langle \ldots, d, \ldots, 0, \ldots \rangle \equiv
+ \bigvee ( \langle \ldots, c, \ldots, 0, \ldots \rangle
+ \mid d \leq c < 1 ) \pmod{\Theta}.
+\end{equation}
+
+Let $j \in I$, $j \neq i$, and let $a \in D_{j}^{-}$.
+Meeting both sides of the congruence (\ref{E:cong2}) with
+$\langle \ldots, a, \ldots, 0, \ldots \rangle$, we obtain that
+\begin{equation}\label{E:comp}
+ 0 = \langle \ldots, a, \ldots, 0, \ldots \rangle \pmod{\Theta},
+\end{equation}
+Using the completeness of $\Theta$ and (\ref{E:comp}),
+we get:
+\index{<@$\langle \dots, 0, \dots, d, \dots, 0,
+ \dots \rangle$}%
+\[
+ 0 \equiv \bigvee ( \langle \ldots, a, \ldots, 0, \ldots \rangle
+ \mid a \in D_{j}^{-} ) = 1 \pmod{\Theta},
+\]
+hence $\Theta = \iota$.
+\index{Main Theorem!exposition|)}
+
+\begin{thebibliography}{9}
+ \bibitem{sF90}\index{Foo, Soo-Key}%
+ Soo-Key Foo,
+ \emph{Lattice Constructions},
+ Ph.D. thesis,
+ University of Winnebago, Winnebago, MN, December, 1990.
+ \bibitem{gM68}\index{Menuhin, George~A.}%
+ George~A. Menuhin,
+ \emph{Universal Algebra},
+ D.~van Nostrand, Princeton, 1968.
+ \bibitem{eM57}\index{Moynahan, Ernest~T.}%
+ Ernest~T. Moynahan,
+ \emph{On a problem of M. Stone},
+ Acta Math. Acad. Sci. Hungar. \textbf{8} (1957), 455--460.
+ \bibitem{eM57a}\index{Moynahan, Ernest~T.}%
+ 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}
+\printindex
+\end{document}
+
diff --git a/Master/texmf-dist/doc/latex/mil3/lattice.sty b/Master/texmf-dist/doc/latex/mil3/lattice.sty
new file mode 100644
index 00000000000..14e0aea8157
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/lattice.sty
@@ -0,0 +1,134 @@
+% lattice.sty
+% Command file for lattice papers
+% lattice.sty
+% Command file for lattice papers
+\NeedsTeXFormat{LaTeX2e}[1999/06/01]
+\ProvidesPackage{lattice}[1999/10/19 Commands for lattices]
+\RequirePackage{amsmath}
+\RequirePackage{amssymb}
+\RequirePackage{latexsym}
+\RequirePackage{eucal}
+\RequirePackage{verbatim}
+\RequirePackage{enumerate}
+\RequirePackage{xspace}
+
+% Lattice operations
+\newcommand{\jj}{\vee}% join
+\newcommand{\mm}{\wedge}% meet
+\newcommand{\JJ}{\bigvee}% big join
+\newcommand{\MM}{\bigwedge}% big meet
+\newcommand{\JJm}[2]{\JJ(\,#1\mid#2\,)}% big join with a middle
+\newcommand{\MMm}[2]{\MM(\,#1\mid#2\,)}% big meet with a middle
+
+% Set operations
+\newcommand{\uu}{\cup}% union
+\newcommand{\ii}{\cap}% intersection
+\newcommand{\UU}{\bigcup}% big union
+\newcommand{\II}{\bigcap}% big intersection
+\newcommand{\UUm}[2]{\UU(\,#1\mid#2\,)}% big union with a middle
+\newcommand{\IIm}[2]{\II(\,#1\mid#2\,)}
+ % big intersection with a middle
+
+% Sets
+\newcommand{\ci}{\subseteq}% contained in with equality
+\newcommand{\nc}{\nsubseteq}% not \ci
+\newcommand{\sci}{\subset}% strictly contained in
+\newcommand{\nci}{\nc}% not \ci
+\newcommand{\ce}{\supseteq}% containing with equality
+\newcommand{\nce}{\nsupseteq}% not \ce
+\newcommand{\nin}{\notin}% not \in
+\newcommand{\es}{\varnothing}% the empty set
+\newcommand{\set}[1]{\{#1\}}% set
+\newcommand{\setm}[2]{\{\,#1\mid#2\,\}}% set with a middle
+\def\vv<#1>{\langle#1\rangle}% vector
+
+% Partial ordering
+\newcommand{\nle}{\nleq}% not \leq
+
+% Greek letters
+\newcommand{\ga}{\alpha}
+\newcommand{\gb}{\beta}
+\newcommand{\gc}{\chi}
+\newcommand{\gd}{\delta}
+\renewcommand{\ge}{\varepsilon}% use \geq for >=
+\newcommand{\gf}{\varphi}
+\renewcommand{\gg}{\gamma}% old use >>
+\newcommand{\gh}{\eta}
+\newcommand{\gi}{\iota}
+\newcommand{\gk}{\kappa}
+\newcommand{\gl}{\lambda}
+\newcommand{\gm}{\mu}
+\newcommand{\gn}{\nu}
+\newcommand{\go}{\omega}
+\newcommand{\gp}{\pi}
+\newcommand{\gq}{\theta}
+\newcommand{\gr}{\varrho}
+\newcommand{\gs}{\sigma}
+\newcommand{\gt}{\tau}
+\newcommand{\gu}{\upsilon}
+\newcommand{\gv}{\vartheta}
+\newcommand{\gx}{\xi}
+\newcommand{\gy}{\psi}
+\newcommand{\gz}{\zeta}
+
+\newcommand{\gG}{\Gamma}
+\newcommand{\gD}{\Delta}
+\newcommand{\gF}{\Phi}
+\newcommand{\gL}{\Lambda}
+\newcommand{\gO}{\Omega}
+\newcommand{\gP}{\Pi}
+\newcommand{\gQ}{\Theta}
+\newcommand{\gS}{\Sigma}
+\newcommand{\gU}{\Upsilon}
+\newcommand{\gX}{\Xi}
+\newcommand{\gY}{\Psi}
+
+% Font commands
+\newcommand{\tbf}{\textbf}% text bold
+\newcommand{\tit}{\textit}% text italic
+\newcommand{\tsl}{\textsl}% text slanted
+\newcommand{\tsc}{\textsc}% text small cap
+\newcommand{\ttt}{\texttt}% text typewriter
+\newcommand{\trm}{\textrm}% text roman
+\newcommand{\tsf}{\textsf}% text sans serif
+\newcommand{\tup}{\textup}% text upright
+
+\newcommand{\mbf}{\mathbf}% math bold
+\providecommand{\mit}{\mathit}% math italic
+\newcommand{\msf}{\mathsf}% math sans serif
+\newcommand{\mrm}{\mathrm}% math roman
+\newcommand{\mtt}{\mathtt}% math typewriter
+
+\newcommand{\B}{\boldsymbol}
+ % Bold math symbol, use as \B{a}
+\newcommand{\C}[1]{\mathcal{#1}}
+ % Euler Script - only caps, use as \C{A}
+\newcommand{\D}[1]{\mathbb{#1}}
+ % Doubled - blackboard bold - only caps, use as \D{A}
+\newcommand{\E}[1]{\mathcal{#1}}% same as \C
+ % Euler Script - only caps, use as \E{A}
+\newcommand{\F}[1]{\mathfrak{#1}}% Fraktur, use as \F{a}
+
+% Miscellaneous
+\newcommand{\nl}{\newline}
+\newcommand{\ol}[1]{\overline{#1}}
+\newcommand{\ul}[1]{\underline{#1}}
+\providecommand{\bysame}{\makebox[3em]{\hrulefill}\thinspace}
+\newcommand{\q}{\quad}% spacing
+\newcommand{\qq}{\qquad}% more spacing
+\newcommand{\iso}{\cong}% isomorphic
+\def\con#1=#2(#3){#1\equiv#2\pod{#3}}
+ %congruence, use it as \con a=b(\theta)%
+\newenvironment{enumeratei}{\begin{enumerate}[\upshape (i)]}%
+ {\end{enumerate}}
+ %produces (i), (ii), etc. Cross-reference with \eqref.
+\newenvironment{enumeratea}{\begin{enumerate}[\upshape (a)]}%
+ {\end{enumerate}}
+ %produces (a), (b), etc. Cross-reference with \eqref.
+\theoremstyle{plain}
+\newtheorem*{namedtheorem}{\theoremname}
+\newcommand{\theoremname}{testing}
+\newenvironment{named}[1]{\renewcommand{\theoremname}{#1}
+ \begin{namedtheorem}}
+ {\end{namedtheorem}}
+\endinput \ No newline at end of file
diff --git a/Master/texmf-dist/doc/latex/mil3/letter.tex b/Master/texmf-dist/doc/latex/mil3/letter.tex
new file mode 100644
index 00000000000..a9202c066c5
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/letter.tex
@@ -0,0 +1,28 @@
+% Sample file: letter.tex
+% Typeset with LaTeX format
+\documentclass{letter}
+
+\begin{document}
+
+\address{George Gr\"{a}tzer\\
+ Department of Mathematics\\
+ University of Manitoba\\
+ Winnipeg, MB, R3T 2N2\\
+ Canada}
+\signature{George Gr\"{a}tzer}
+\date{}
+
+\begin{letter}{Prof.~John Hurtig\\
+ Computer Science Department\\
+ University of Winnebago\\
+ Winnebago, Minnesota 23714}
+\opening{Dear John,}
+Enclosed you will find the first draft of the five-year plan.
+\closing{Friendly greetings,}
+\cc{Carla May\\
+ Barry Bold}
+\encl{Five-year plan}
+\ps{P.S. Remember our lunch meeting tomorrow! G.}
+\end{letter}
+
+\end{document} \ No newline at end of file
diff --git a/Master/texmf-dist/doc/latex/mil3/master.tex b/Master/texmf-dist/doc/latex/mil3/master.tex
new file mode 100644
index 00000000000..94a7da5f549
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/master.tex
@@ -0,0 +1,27 @@
+%Master document for svsing6
+\documentclass{svsing6}
+\usepackage{usercommands}
+\makeindex
+
+\begin{document}
+\frontmatter
+\include{frontmatter}%Front matter
+\tableofcontents
+\include{introduction}%Introduction
+
+\mainmatter
+\include{chapter1}
+\include{chapter2}
+\include{chapter3}
+\include{chapter4}
+\include{chapter5}
+
+\appendix
+\include{appendix1}
+\include{appendix2}
+
+\backmatter
+\include{references}
+\include{afterword}
+
+\printindex
diff --git a/Master/texmf-dist/doc/latex/mil3/math.tex b/Master/texmf-dist/doc/latex/mil3/math.tex
new file mode 100644
index 00000000000..49c78c2fa55
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/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/mil3/mathb.tex b/Master/texmf-dist/doc/latex/mil3/mathb.tex
new file mode 100644
index 00000000000..51c0429cb25
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/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/mil3/multline.tpl b/Master/texmf-dist/doc/latex/mil3/multline.tpl
new file mode 100644
index 00000000000..09ad30d23bc
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/multline.tpl
@@ -0,0 +1,495 @@
+% Sample file: multline.tpl
+% multiline math formula template file
+
+
+% Section 5.2 Gathering formulas
+
+\begin{gather}
+ x_{1} x_{2} + x_{1}^{2} x_{2}^{2} + x_{3}, \label{E:mm1.1}\\
+ x_{1} x_{3} + x_{1}^{2} x_{3}^{2} + x_{2}, \label{E:mm1.2}\\
+ x_{1} x_{2} x_{3}. \label{E:mm1.3}
+\end{gather}
+
+% 5.3 Splitting a long formula
+
+\begin{multline}\label{E:mm2}
+ (x_{1} x_{2} x_{3} x_{4} x_{5} x_{6})^{2}\\
+ + (y_{1} y_{2} y_{3} y_{4} y_{5} +y_{1} y_{3} y_{4} y_{5} y_{6}
+ + y_{1} y_{2} y_{4} y_{5} y_{6}
+ + y_{1} y_{2} y_{3} y_{5} y_{6})^{2}\\
+ + (z_{1} z_{2} z_{3} z_{4} z_{5} +z_{1} z_{3} z_{4} z_{5} z_{6}
+ + z_{1} z_{2} z_{4} z_{5} z_{6}
+ + z_{1} z_{2} z_{3} z_{5} z_{6})^{2}\\
+ + (u_{1} u_{2} u_{3} u_{4} + u_{1} u_{2} u_{3} u_{5} +
+ u_{1} u_{2} u_{4} u_{5} + u_{1} u_{3} u_{4} u_{5})^{2}
+\end{multline}
+
+\begin{multline*}
+ (x_{1} x_{2} x_{3} x_{4} x_{5} x_{6})^{2}\\
+ + (x_{1} x_{2} x_{3} x_{4} x_{5}
+ + x_{1} x_{3} x_{4} x_{5} x_{6}
+ + x_{1} x_{2} x_{4} x_{5} x_{6}
+ + x_{1} x_{2} x_{3} x_{5} x_{6})^{2}\\
+ + (x_{1} x_{2} x_{3} x_{4} + x_{1} x_{2} x_{3} x_{5}
+ + x_{1} x_{2} x_{4} x_{5} + x_{1} x_{3} x_{4} x_{5})^{2}
+\end{multline*}
+\begin{setlength}{\multlinegap}{0pt}
+ \begin{multline*}
+ (x_{1} x_{2} x_{3} x_{4} x_{5} x_{6})^{2}\\
+ + (x_{1} x_{2} x_{3} x_{4} x_{5}
+ + x_{1} x_{3} x_{4} x_{5} x_{6}
+ + x_{1} x_{2} x_{4} x_{5} x_{6}
+ + x_{1} x_{2} x_{3} x_{5} x_{6})^{2}\\
+ + (x_{1} x_{2} x_{3} x_{4} + x_{1} x_{2} x_{3} x_{5}
+ + x_{1} x_{2} x_{4} x_{5} + x_{1} x_{3} x_{4} x_{5})^{2}
+ \end{multline*}
+\end{setlength}
+
+\begin{multline*}
+ (x_{1} x_{2} x_{3} x_{4} x_{5} x_{6})^{2}\\
+ \shoveleft{+ (x_{1} x_{2} x_{3} x_{4} x_{5}
+ + x_{1} x_{3} x_{4} x_{5} x_{6}
+ + x_{1} x_{2} x_{4} x_{5} x_{6}
+ + x_{1} x_{2} x_{3} x_{5} x_{6})^{2}}\\
+ + (x_{1} x_{2} x_{3} x_{4} + x_{1} x_{2} x_{3} x_{5}
+ + x_{1} x_{2} x_{4} x_{5} + x_{1} x_{3} x_{4} x_{5})^{2}
+\end{multline*}
+
+% 5.4.3 Group numbering
+
+\begin{gather}
+ x_{1} x_{2} + x_{1}^{2} x_{2}^{2} + x_{3},\label{E:mm1} \\
+ x_{1} x_{3} + x_{1}^{2} x_{3}^{2} + x_{2},\tag{\ref{E:mm1}a}\\
+ x_{1} x_{2} x_{3};\tag{\ref{E:mm1}b}
+\end{gather}
+
+\begin{subequations}\label{E:gp}
+ \begin{gather}
+ x_{1} x_{2} + x_{1}^{2} x_{2}^{2} + x_{3},\label{E:gp1}\\
+ x_{1} x_{3} + x_{1}^{2} x_{3}^{2} + x_{2},\label{E:gp2}\\
+ x_{1} x_{2} x_{3},\label{E:gp3}
+ \end{gather}
+\end{subequations}
+
+ % 5.5 Aligned columns
+
+\begin{align}\label{E:mm3}
+ f(x) &= x + yz & g(x) &= x + y + z\\
+ h(x) &= xy + xz + yz & k(x) &= (x + y)(x + z)(y + z)
+ \notag
+\end{align}
+
+% 5.5.1 An align variant
+
+\begin{flalign}\label{E:mm3fl}
+ f(x) &= x + yz & g(x) &= x + y + z\\
+ h(x) &= xy + xz + yz & k(x) &= (x + y)(x + z)(y + z)
+ \notag
+\end{flalign}
+
+% 5.5.2 eqnarray, the ancestor of align
+
+\begin{eqnarray}
+ x & = & 17y \\
+ y & > & a + b + c
+\end{eqnarray}
+
+\begin{align}
+ x & = 17y \\
+ y & > a + b + c
+\end{align}
+
+% 5.5.3 The subformula rule revisited
+
+\begin{align}
+ x_{1} + y_{1} + \left( \sum_{i < 5} \binom{5}{i}
+ &+ a^{2} \right)^{2}\\
+ \left( \sum_{i < 5} \binom{5}{i} + \alpha^{2} \right)^{2}
+\end{align}
+
+\begin{align*}
+ &x_{1} + y_{1} + \left( \sum_{i < 5} \binom{5}{i}
+ + a^{2} \right)^{2}\\
+ &\phantom{x_{1} + y_{1} + {}}
+ \left( \sum_{i < 5} \binom{5}{i} + \alpha^{2} \right)^{2}
+\end{align*}
+
+% 5.5.4 The alignat environment
+
+\begin{alignat}{2}\label{E:mm3A}
+ f(x) &= x + yz & g(x) &= x + y + z\\
+ h(x) &= xy + xz + yz & k(x) &= (x + y)(x + z)(y + z)
+ \notag
+\end{alignat}
+
+\begin{alignat}{2}\label{E:mm3B}
+ f(x) &= x + yz & g(x) &= x + y + z\\
+ h(x) &= xy + xz + yz \qquad & k(x) &= (x + y)(x + z)(y + z)
+ \notag
+
+\begin{alignat}{2}\label{E:mm4}
+ x &= x \wedge (y \vee z) & &\quad\text{(by distributivity)}\\
+ &= (x \wedge y) \vee (x \wedge z) & &
+ \quad\text{(by condition (M))}\notag\\
+ &= y \vee z \notag
+\end{alignat}
+
+\begin{alignat}{2}
+ (A + B C)x &+{} &C &y = 0,\\
+ Ex &+{} &(F + G)&y = 23.
+\end{alignat}
+
+\begin{alignat}{4}
+ a_{11}x_1 &+ a_{12}x_2 &&+ a_{13}x_3 && &&= y_1,\\
+ a_{21}x_1 &+ a_{22}x_2 && &&+ a_{24}x_4 &&= y_2,\\
+ a_{31}x_1 & &&+ a_{33}x_3 &&+ a_{34}x_4 &&= y_3.
+\end{alignat}
+
+% 5.5.5 Intertext
+
+\begin{align}\label{E:mm5}
+ h(x) &= \int \left(
+ \frac{ f(x) + g(x) }
+ {1 + f^{2}(x)} +
+ \frac{1 + f(x)g(x)}
+ { \sqrt{1 - \sin x} }
+ \right) \, dx\\
+ \intertext{The reader may find the following form easier to
+ read:}
+ &= \int \frac{1 + f(x)}
+ {1 + g(x)}
+ \, dx - 2 \arctan(x - 2) \notag
+\end{align}
+
+\begin{align*}
+ f(x) &= x + yz & \qquad g(x) &= x + y + z \\
+ \intertext{The reader also may find the following
+ polynomials useful:}
+ h(x) &= xy + xz + yz
+ & \qquad k(x) &= (x + y)(x + z)(y + z)
+\end{align*}
+
+% 5.6 Aligned subsidiary math environments
+
+% 5.6.1 Subsidiary variants of aligned math environments
+
+\[
+ \begin{aligned}
+ x &= 3 + \mathbf{p} + \alpha \\
+ y &= 4 + \mathbf{q}\\
+ z &= 5 + \mathbf{r} \\
+ u &=6 + \mathbf{s}
+ \end{aligned}
+ \text{\qquad using\qquad}
+ \begin{gathered}
+ \mathbf{p} = 5 + a + \alpha \\
+ \mathbf{q} = 12 \\
+ \mathbf{r} = 13 \\
+ \mathbf{s} = 11 + d
+ \end{gathered}
+\]
+
+\begin{align}\label{E:mm5}
+ h(x) &= \int \left(
+ \frac{ f(x) + g(x) }
+ {1 + f^{2}(x)} +
+ \frac{1 + f(x)g(x)}
+ { \sqrt{1 - \sin x} }
+ \right) \, dx\\
+ \intertext{The reader may find the following form easier to
+ read:}
+ &= \int \frac{1 + f(x)}
+ {1 + g(x)}
+ \, dx - 2 \arctan(x - 2) \notag
+\end{align}
+
+\begin{equation}\label{E:mm6}
+ \begin{aligned}
+ h(x) &= \int \left(
+ \frac{ f(x) + g(x) }
+ { 1 + f^{2}(x) } +
+ \frac{ 1 + f(x)g(x) }
+ { \sqrt{1 - \sin x} }
+ \right) \, dx\\
+ &= \int \frac{ 1 + f(x) }
+ { 1 + g(x) } \, dx - 2 \arctan (x - 2)
+ \end{aligned}
+\end{equation}
+
+\[
+ \begin{aligned}[b]
+ x &= 3 + \mathbf{p} + \alpha \\
+ y &= 4 + \mathbf{q}\\
+ z &= 5 + \mathbf{r} \\
+ u &=6 + \mathbf{s}
+ \end{aligned}
+ \text{\qquad using\qquad}
+ \begin{gathered}[b]
+ \mathbf{p} = 5 + a + \alpha \\
+ \mathbf{q} = 12 \\
+ \mathbf{r} = 13 \\
+ \mathbf{s} = 11 + d
+ \end{gathered}
+\]
+
+% 5.6.2 Split
+
+\begin{equation}\label{E:mm7}
+ \begin{split}
+ (x_{1}x_{2}&x_{3}x_{4}x_{5}x_{6})^{2}\\
+ &+ (x_{1}x_{2}x_{3}x_{4}x_{5}
+ + x_{1}x_{3}x_{4}x_{5}x_{6}
+ + x_{1}x_{2}x_{4}x_{5}x_{6}
+ + x_{1}x_{2}x_{3}x_{5}x_{6})^{2}
+ \end{split}
+\end{equation}
+
+\begin{align}\label{E:mm8}
+ \begin{split}
+ f &= (x_{1} x_{2} x_{3} x_{4} x_{5} x_{6})^{2}\\
+ &= (x_{1} x_{2} x_{3} x_{4} x_{5}
+ + x_{1} x_{3} x_{4} x_{5} x_{6}
+ + x_{1} x_{2} x_{4} x_{5} x_{6}
+ + x_{1} x_{2} x_{3} x_{5} x_{6})^{2},
+ \end{split}\\
+ g &= y_{1} y_{2} y_{3}.\label{E:mm9}
+\end{align}
+
+\begin{gather}\label{E:mm10}
+ \begin{split}
+ f &= (x_{1} x_{2} x_{3} x_{4} x_{5} x_{6})^{2}\\
+ &= (x_{1} x_{2} x_{3} x_{4} x_{5}
+ + x_{1} x_{3} x_{4} x_{5} x_{6}
+ + x_{1} x_{2} x_{4} x_{5} x_{6}
+ + x_{1} x_{2} x_{3} x_{5} x_{6})^{2}\\
+ &= (x_{1} x_{2} x_{3} x_{4}
+ + x_{1} x_{2} x_{3} x_{5}
+ + x_{1} x_{2} x_{4} x_{5}
+ + x_{1} x_{3} x_{4} x_{5})^{2}
+ \end{split}\\
+ \begin{align*}
+ g &= y_{1} y_{2} y_{3}\\
+ h &= z_{1}^{2} z_{2}^{2} z_{3}^{2} z_{4}^{2}
+ \end{align*}
+\end{gather}
+
+% 5.7 Adjusted columns
+
+\begin{equation*}
+ \left(
+ \begin{matrix}
+ a + b + c & uv & x - y & 27\\
+ a + b & u + v & z & 1340
+ \end{matrix}
+ \right) =
+ \left(
+ \begin{matrix}
+ 1 & 100 & 115 & 27\\
+ 201 & 0 & 1 & 1340
+ \end{matrix}
+ \right)
+\end{equation*}
+
+\begin{equation*}
+ \left(
+ \begin{array}{cccr}
+ a + b + c & uv & x - y & 27\\
+ a + b & u + v & z & 1340
+ \end{array}
+ \right) =
+ \left(
+ \begin{array}{rrrr}
+ 1 & 100 & 115 & 27\\
+ 201 & 0 & 1 & 1340
+ \end{array}
+ \right)
+\end{equation*}
+
+\begin{equation}\label{E:mm11}
+ f(x) =
+ \begin{cases}
+ -x^{2}, &\text{\CMR if $x < 0$;} \\
+ \alpha + x, &\text{\CMR if $ 0 \leq x \leq 1$;}\\
+ x^{2}, &\text{\CMR otherwise.}
+ \end{cases}
+\end{equation}
+
+% 5.7.1 Matrices
+
+\begin{equation*}
+ \left(
+ \begin{matrix}
+ a + b + c & uv & x - y & 27 \\
+ a + b & u + v & z & 1340
+ \end{matrix}
+ \right) =
+ \left(
+ \begin{matrix}
+ 1 & 100 & 115 & 27 \\
+ 201 & 0 & 1 & 1340
+ \end{matrix}
+ \right)
+\end{equation*}
+
+\begin{matrix}
+ a + b + c & uv & x - y & 27 \\
+ a + b & u + v & z & 134
+\end{matrix}
+
+\begin{equation}\label{E:mm12}
+ \setcounter{MaxMatrixCols}{12}
+ \begin{matrix}
+ 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12\\
+ 1 & 2 & 3 & \hdotsfor{7} & 11 & 12
+ \end{matrix}
+\end{equation}
+
+\begin{equation}\label{E:mm12dupl}
+ \setcounter{MaxMatrixCols}{12}
+ \begin{matrix}
+ 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12\\
+ 1 & 2 & 3 & \hdotsfor[3]{7} & 11 & 12
+ \end{matrix}
+\end{equation}
+
+% Matrix variants
+
+\begin{alignat*}{3}
+ &\
+ \begin{matrix}
+ a + b + c & uv\\
+ a + b & c + d
+ \end{matrix}
+ \qquad
+ & &
+ \begin{pmatrix}
+ a + b + c & uv\\
+ a + b & c + d
+ \end{pmatrix}
+ \qquad
+ & &
+ \begin{bmatrix}
+ a + b + c & uv\\
+ a + b & c + d
+ \end{bmatrix}
+ \\
+ &
+ \begin{vmatrix}
+ a + b + c & uv\\
+ a + b & c + d
+ \end{vmatrix}
+ \qquad
+ & &
+ \begin{Vmatrix}
+ a + b + c & uv\\
+ a + b & c + d
+ \end{Vmatrix}
+ \qquad
+ & &
+ \begin{Bmatrix}
+ a + b + c & uv\\
+ a + b & c + d
+ \end{Bmatrix}
+\end{alignat*}
+
+\begin{equation*}
+ \left(
+ \begin{matrix}
+ 1 & 0 & \dots & 0 \\
+ 0 & 1 & \dots & 0 \\
+ \vdots & \vdots & \ddots & \vdots\\
+ 0 & 0 & \dots & 1
+ \end{matrix}
+ \right]
+\end{equation*}
+\end{verbatim}
+which produces
+\begin{equation*}
+ \left(
+ \begin{matrix}
+ 1 & 0 & \dots & 0 \\
+ 0 & 1 & \dots & 0 \\
+ \vdots & \vdots & \ddots & \vdots\\
+ 0 & 0 & \dots & 1
+ \end{matrix}
+ \right]
+\end{equation*}
+
+% Small matrix
+
+$\begin{pmatrix}
+ a + b + c & uv\\
+ a + b & c + d
+\end{pmatrix}$
+
+$\left(
+\begin{smallmatrix}
+ a + b + c & uv \\
+ a + b & c + d
+\end{smallmatrix}
+\right)$
+
+% 5.7.2 Arrays
+
+\begin{equation*}
+ \left(
+ \begin{array}{cccc}
+ a + b + c & uv & x - y & 27 \\
+ a + b & u + v & z & 134
+ \end{array}
+ \right)
+\end{equation*}
+
+% 5.7.3 Cases
+
+\begin{equation}
+ f(x)=
+ \begin{cases}
+ -x^{2}, &\text{if $x < 0$;}\\
+ \alpha + x, &\text{if $0 \leq x \leq 1$;}\\
+ x^{2}, &\text{otherwise.}
+ \end{cases}
+\end{equation}
+
+% 5.8 Commutative diagrams
+
+\[
+ \begin{CD}
+ A @>>> B \\
+ @VVV @VVV\\
+ C @= D
+ \end{CD}
+\]
+
+\[
+ \begin{CD}
+ \mathbb{C} @>H_{1}>> \mathbb{C} @>H_{2}>> \mathbb{C} \\
+ @VP_{c,3}VV @VP_{\bar{c},3}VV @VVP_{-c,3}V \\
+ \mathbb{C} @>H_{1}>> \mathbb{C} @>H_{2}>> \mathbb{C}
+ \end{CD}
+\]
+
+\[
+ \begin{CD}
+ A @>\log>> B @>>\text{bottom}> C
+ @= D @<<< E
+ @<<< F\\
+ @V\text{one-one}VV @. @AA\text{onto}A @|\\
+ X @= Y @>>> Z
+ @>>> U\\
+ @A\beta AA @AA\gamma A @VVV @VVV\\
+ D @>\alpha>> E @>>> H
+ @. I\\
+ \end{CD}
+\]
+
+% 5.9 Pagebreak
+
+{\allowdisplaybreaks
+\begin{align}\label{E:mm13}
+ a &= b + c,\\
+ d &= e + f,\\
+ x &= y + z,\\
+ u &= v + w.
+\end{align}
+}% end of \allowdisplaybreaks
diff --git a/Master/texmf-dist/doc/latex/mil3/note1.tex b/Master/texmf-dist/doc/latex/mil3/note1.tex
new file mode 100644
index 00000000000..e4425f67797
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/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/mil3/note1b.tex b/Master/texmf-dist/doc/latex/mil3/note1b.tex
new file mode 100644
index 00000000000..4de05f5a2b6
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/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/mil3/note2.tex b/Master/texmf-dist/doc/latex/mil3/note2.tex
new file mode 100644
index 00000000000..7b218f21faf
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/note2.tex
@@ -0,0 +1,14 @@
+% 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}\\[22pt]
+April~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/mil3/noteslug.tex b/Master/texmf-dist/doc/latex/mil3/noteslug.tex
new file mode 100644
index 00000000000..04d2f46307e
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/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
diff --git a/Master/texmf-dist/doc/latex/mil3/sampart.tex b/Master/texmf-dist/doc/latex/mil3/sampart.tex
new file mode 100644
index 00000000000..70bbd3f8509
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/sampart.tex
@@ -0,0 +1,262 @@
+% Sample file: sampart.tex
+% The sample article for the amsart document class
+% Typeset with LaTeX format
+
+\documentclass{amsart}
+\usepackage{amssymb,latexsym}
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\newtheorem{corollary}{Corollary}
+\newtheorem*{main}{Main~Theorem}
+\newtheorem{lemma}{Lemma}
+\newtheorem{proposition}{Proposition}
+
+\theoremstyle{definition}
+\newtheorem{definition}{Definition}
+
+\theoremstyle{remark}
+\newtheorem*{notation}{Notation}
+
+\numberwithin{equation}{section}
+
+\begin{document}
+\title[Complete-simple distributive lattices]
+ {A construction of complete-simple\\
+ distributive lattices}
+\author{George~A. Menuhin}
+\address{Computer Science Department\\
+ University of Winnebago\\
+ Winnebago, MN 53714}
+\email{menuhin@ccw.uwinnebago.edu}
+\urladdr{http://math.uwinnebago.edu/homepages/menuhin/}
+\thanks{Research supported by the NSF under grant number
+23466.}
+\keywords{Complete lattice, distributive lattice,
+ complete congruence, congruence lattice}
+\subjclass[2000]{Primary: 06B10; Secondary: 06D05}
+\date{March 15, 1999}
+\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}
+
+\maketitle
+
+\section{Introduction}\label{S:intro}
+In this note we prove the following result:
+
+\begin{main}
+ There exists an infinite complete distributive lattice~$K$ with only
+ the two trivial complete congruence relations.
+\end{main}
+
+\section{The $D^{\langle 2 \rangle}$ construction}\label{S:Ds}
+For the basic notation in lattice theory and universal algebra, see Ferenc~R.
+Richardson~\cite{fR82} and George~A. Menuhin~\cite{gM68}. We start with some
+definitions:
+
+\begin{definition}\label{D:prime}
+ Let $V$ be a complete lattice, and let $\mathfrak{p} = [u, v]$ be
+ an interval of $V$. Then $\mathfrak{p}$ is called
+ \emph{complete-prime} if the following three conditions are satisfied:
+ \begin{enumerate}
+ \item $u$ is meet-irreducible but $u$ is \emph{not}
+ completely meet-irreducible;\label{m-i}
+ \item $v$ is join-irreducible but $v$ is \emph{not}
+ completely join-irreducible;\label{j-i}
+ \item $[u, v]$ is a complete-simple lattice.\label{c-s}
+ \end{enumerate}
+\end{definition}
+
+Now we prove the following result:
+
+\begin{lemma}\label{L:ds}
+ Let $D$ be a complete distributive lattice satisfying
+ conditions \eqref{m-i} and~\eqref{j-i}. Then
+ $D^{\langle 2 \rangle}$ is a sublattice of $D^{2}$;
+ hence $D^{\langle 2 \rangle}$ is a lattice, and
+ $D^{\langle 2 \rangle}$ is a complete distributive
+ lattice satisfying conditions \eqref{m-i} and~\eqref{j-i}.
+\end{lemma}
+
+\begin{proof}
+ By conditions~\eqref{m-i} and \eqref{j-i},
+ $D^{\langle 2 \rangle}$ is a sublattice
+ of $D^{2}$. Hence, $D^{\langle 2 \rangle}$ is a lattice.
+
+ Since $D^{\langle 2 \rangle}$ is a sublattice of a distributive
+ lattice, $D^{\langle 2 \rangle}$ is a distributive lattice. Using
+ the characterization of standard ideals in Ernest~T. Moynahan~\cite{eM57},
+ $D^{\langle 2 \rangle}$ has a zero and a unit element,
+ namely, $\langle 0, 0 \rangle$ and $\langle 1, 1 \rangle$.
+ To show that $D^{\langle 2 \rangle}$ is complete, let
+ $\varnothing \ne A \subseteq D^{\langle 2 \rangle}$, and let
+ $a = \bigvee A$ in $D^{2}$. If
+ $a \in D^{\langle 2 \rangle}$, then
+ $a = \bigvee A$ in $D^{\langle 2 \rangle}$; otherwise, $a$
+ is of the form $\langle b, 1 \rangle$ for some
+ $b \in D$ with $b < 1$. Now $\bigvee A = \langle 1, 1\rangle$
+ in $D^{2}$ and the dual argument shows that $\bigwedge A$ also
+ exists in $D^{2}$. Hence $D$ is complete. Conditions \eqref{m-i}
+ and~\eqref{j-i} are obvious for $D^{\langle 2 \rangle}$.
+\end{proof}
+
+\begin{corollary}\label{C:prime}
+ If $D$ is complete-prime, then so is $D^{\langle 2 \rangle}$.
+\end{corollary}
+
+The motivation for the following result comes from Soo-Key Foo~\cite{sF90}.
+
+\begin{lemma}\label{L:ccr}
+ Let $\Theta$ be a complete congruence relation of
+ $D^{\langle 2 \rangle}$ such that
+ \begin{equation}\label{E:rigid}
+ \langle 1, d \rangle \equiv \langle 1, 1 \rangle \pmod{\Theta},
+ \end{equation}
+ for some $d \in D$ with $d < 1$. Then $\Theta = \iota$.
+\end{lemma}
+
+\begin{proof}
+ Let $\Theta$ be a complete congruence relation of
+ $D^{\langle 2 \rangle}$ satisfying \eqref{E:rigid}. Then $\Theta =
+\iota$.
+\end{proof}
+
+\section{The $\Pi^{*}$ construction}\label{S:P*}
+The following construction is crucial to our proof of the Main Theorem:
+
+\begin{definition}\label{D:P*}
+ Let $D_{i}$, for $i \in I$, be complete distributive lattices
+ satisfying condition~\eqref{j-i}. 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:
+
+\begin{theorem}\label{T:P*}
+ Let $D_{i}$, for $i \in I$, be complete distributive lattices
+ satisfying condition~\eqref{j-i}. 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}
+
+\begin{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~\eqref{c-s} that
+ \begin{equation}\label{E:cong}
+ \begin{split}
+ &\langle \dots, \overset{i}{d}, \dots, 0,
+ \dots \rangle\\
+ &\equiv \bigvee ( \langle \dots, 0, \dots,
+ \overset{i}{c}, \dots, 0, \dots \rangle \mid d \leq c < 1 )
+ \equiv 1 \pmod{\Theta}.
+ \end{split}
+ \end{equation}
+
+ Let $j \in I$ for $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{equation}\label{E:comp}
+ \begin{split}
+ 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}.
+ \end{split}
+ \end{equation}
+ 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$.
+\end{proof}
+
+\begin{theorem}\label{T:P*a}
+ Let $D_{i}$ for $i \in I$ be complete distributive lattices
+ satisfying conditions \eqref{j-i} and~\eqref{c-s}. Then
+ $\Pi^{*} ( D_{i} \mid i \in I )$ also satisfies
+ conditions~\eqref{j-i} and \eqref{c-s}.
+\end{theorem}
+
+\begin{proof}
+ Let $\Theta$ be a complete congruence on
+ $\Pi^{*} ( D_{i} \mid i \in I )$. Let $i \in I$. Define
+ \[
+ \widehat{D}_{i} = \{ \langle \dots, 0, \dots, \overset{i}{d},
+ \dots, 0, \dots \rangle \mid d \in D_{i}^{-} \} \cup \{ 1 \}.
+ \]
+ Then $\widehat{D}_{i}$ is a complete sublattice of
+ $\Pi^{*} ( D_{i} \mid i \in I )$, and $\widehat{D}_{i}$ is
+ isomorphic to $D_{i}$. Let $\Theta_{i}$ be the restriction of
+ $\Theta$ to $\widehat{D}_{i}$.
+
+ Since $D_{i}\) is complete-simple, so is $\widehat{D}_{i}$, and
+ hence $\Theta_{i}$ is $\omega$ or $\iota$. If
+ $\Theta_{i} = \rho$ for all $i \in I$, then
+ $\Theta = \omega$. If there is an $i \in I$, such that
+ $\Theta_{i} = \iota$, then $0 \equiv 1 \pmod{\Theta}$, hence
+ $\Theta = \iota$.
+\end{proof}
+
+The Main Theorem follows easily from Theorems \ref{T:P*} and~\ref{T:P*a}.
+
+\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, 1968.
+
+ \bibitem{eM57}
+ Ernest~T. Moynahan, \emph{On a problem of M. Stone}, Acta Math.
+ Acad. Sci. Hungar. \textbf{8} (1957), 455--460.
+
+ \bibitem{eM57a}
+ \bysame, \emph{Ideals and congruence relations in lattices}. II,
+ Magyar Tud. Akad. Mat. Fiz. Oszt. K\"{o}zl. \textbf{9} (1957),
+ 417--434 (Hungarian).
+
+ \bibitem{fR82}
+ Ferenc~R. Richardson, \emph{General lattice theory}, Mir, Moscow,
+ expanded and revised ed., 1982 (Russian).
+
+\end{thebibliography}
+\end{document}
+
diff --git a/Master/texmf-dist/doc/latex/mil3/sampartb.bib b/Master/texmf-dist/doc/latex/mil3/sampartb.bib
new file mode 100644
index 00000000000..2af90a95774
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/sampartb.bib
@@ -0,0 +1,45 @@
+@BOOK(gM68,
+ author = "George A. Menuhin",
+ title = "Universal Algebra",
+ publisher = "D.~van Nostrand",
+ address = "Princeton",
+ year = 1968,
+ )
+
+@BOOK(fR82,
+ author = "Ferenc R. Richardson",
+ title = "General Lattice Theory",
+ edition = "Expanded and Revised",
+ language = "Russian",
+ publisher = "Mir",
+ address = "Moscow",
+ year = 1982,
+ )
+
+@ARTICLE(eM57,
+ author = "Ernest T. Moynahan",
+ title = "On a Problem of {M. Stone}",
+ journal = "Acta Math. Acad. Sci. Hungar.",
+ pages = "455--460",
+ volume = 8,
+ year = 1957,
+ )
+
+@ARTICLE(eM57a,
+ author = "Ernest T. Moynahan",
+ title = "Ideals and Congruence Relations in Lattices.~\textup{II}",
+ journal = "Magyar Tud. Akad. Mat. Fiz. Oszt. K{\"{o}}zl.",
+ language = "Hungarian",
+ pages = "417--434",
+ volume = 7,
+ year = 1957,
+ )
+
+@PHDTHESIS(sF90,
+ author = "Soo-Key Foo",
+ title = "Lattice Constructions",
+ school = "University of Winnebago",
+ address = "Winnebago, MN",
+ month = dec,
+ year = 1990,
+ ) \ No newline at end of file
diff --git a/Master/texmf-dist/doc/latex/mil3/sampartb.tex b/Master/texmf-dist/doc/latex/mil3/sampartb.tex
new file mode 100644
index 00000000000..6515da73e05
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/sampartb.tex
@@ -0,0 +1,236 @@
+% Sample file: sampartb.tex
+% The sample article for the amsart document class with BibTeX
+% Typeset with LaTeX format
+
+\documentclass{amsart}
+\usepackage{amssymb,latexsym}
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\newtheorem{corollary}{Corollary}
+\newtheorem*{main}{Main~Theorem}
+\newtheorem{lemma}{Lemma}
+\newtheorem{proposition}{Proposition}
+
+\theoremstyle{definition}
+\newtheorem{definition}{Definition}
+
+\theoremstyle{remark}
+\newtheorem*{notation}{Notation}
+
+\numberwithin{equation}{section}
+
+\begin{document}
+\title[Complete-simple distributive lattices]
+ {A construction of complete-simple\\
+ distributive lattices}
+\author{George~A. Menuhin}
+\address{Computer Science Department\\
+ University of Winnebago\\
+ Winnebago, MN 53714}
+\email{menuhin@ccw.uwinnebago.edu}
+\urladdr{http://math.uwinnebago.edu/homepages/menuhin/}
+\thanks{Research supported by the NSF under grant number
+23466.}
+\keywords{Complete lattice, distributive lattice,
+ complete congruence, congruence lattice}
+\subjclass[2000]{Primary: 06B10; Secondary: 06D05}
+\date{March 15, 1999}
+\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}
+
+\maketitle
+
+\section{Introduction}\label{S:intro}
+In this note we prove the following result:
+
+\begin{main}
+ There exists an infinite complete distributive lattice~$K$ with only
+ the two trivial complete congruence relations.
+\end{main}
+
+\section{The $D^{\langle 2 \rangle}$ construction}\label{S:Ds}
+For the basic notation in lattice theory and universal algebra, see Ferenc~R.
+Richardson~\cite{fR82} and George~A. Menuhin~\cite{gM68}. We start with some
+definitions:
+
+\begin{definition}\label{D:prime}
+ Let $V$ be a complete lattice, and let $\mathfrak{p} = [u, v]$ be
+ an interval of $V$. Then $\mathfrak{p}$ is called
+ \emph{complete-prime} if the following three conditions are satisfied:
+ \begin{enumerate}
+ \item $u$ is meet-irreducible but $u$ is \emph{not}
+ completely meet-irreducible;
+ \item $v$ is join-irreducible but $v$ is \emph{not}
+ completely join-irreducible;
+ \item $[u, v]$ is a complete-simple lattice.
+ \end{enumerate}
+\end{definition}
+
+Now we prove the following result:
+
+\begin{lemma}\label{L:ds}
+ Let $D$ be a complete distributive lattice satisfying
+ conditions \textup{(1)} and~\textup{(2)}. Then
+ $D^{\langle 2 \rangle}$ is a sublattice of $D^{2}$;
+ hence $D^{\langle 2 \rangle}$ is a lattice, and
+ $D^{\langle 2 \rangle}$ is a complete distributive
+ lattice satisfying condition \textup{(1)} and~\textup{(2)}.
+\end{lemma}
+
+\begin{proof}
+ By conditions (1) and~(2), $D^{\langle 2 \rangle}$ is a sublattice
+ of $D^{2}$. Hence, $D^{\langle 2 \rangle}$ is a lattice.
+
+ Since $D^{\langle 2 \rangle}$ is a sublattice of a distributive
+ lattice, $D^{\langle 2 \rangle}$ is a distributive lattice. Using
+ the characterization of standard ideals in Ernest~T. Moynahan~\cite{eM57},
+ $D^{\langle 2 \rangle}$ has a zero and a unit element,
+ namely, $\langle 0, 0 \rangle$ and $\langle 1, 1 \rangle$.
+ To show that $D^{\langle 2 \rangle}$ is complete, let
+ $\varnothing \ne A \subseteq D^{\langle 2 \rangle}$, and let
+ $a = \bigvee A$ in $D^{2}$. If
+ $a \in D^{\langle 2 \rangle}$, then
+ $a = \bigvee A$ in $D^{\langle 2 \rangle}$; otherwise, $a$
+ is of the form $\langle b, 1 \rangle$ for some
+ $b \in D$ with $b < 1$. Now $\bigvee A = \langle 1, 1\rangle$
+ in $D^{2}$ and the dual argument shows that $\bigwedge A$ also
+ exists in $D^{2}$. Hence $D$ is complete. Condition (1)
+ and~(2) are obvious for $D^{\langle 2 \rangle}$.
+\end{proof}
+
+\begin{corollary}\label{C:prime}
+ If $D$ is complete-prime, then so is $D^{\langle 2 \rangle}$.
+\end{corollary}
+
+The motivation for the following result comes from Soo-Key Foo~\cite{sF90}.
+
+\begin{lemma}\label{L:ccr}
+ Let $\Theta$ be a complete congruence relation of
+ $D^{\langle 2 \rangle}$ such that
+ \begin{equation}\label{E:rigid}
+ \langle 1, d \rangle \equiv \langle 1, 1 \rangle \pmod{\Theta},
+ \end{equation}
+ for some $d \in D$ with $d < 1$. Then $\Theta = \iota$.
+\end{lemma}
+
+\begin{proof}
+ Let $\Theta$ be a complete congruence relation of
+ $D^{\langle 2 \rangle}$ satisfying \eqref{E:rigid}. Then $\Theta = \iota$.
+\end{proof}
+
+\section{The $\Pi^{*}$ construction}\label{S:P*}
+The following construction is crucial to our proof of the Main Theorem:
+
+\begin{definition}\label{D:P*}
+ Let $D_{i}$, for $i \in I$, be complete distributive lattices
+ satisfying condition~\textup{(2)}. 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:
+
+\begin{theorem}\label{T:P*}
+ Let $D_{i}$, for $i \in I$, be complete distributive lattices
+ satisfying condition~\textup{(2)}. 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}
+
+\begin{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~(3) that
+ \begin{equation}\label{E:cong}
+ \begin{split}
+ &\langle \dots, \overset{i}{d}, \dots, 0,
+ \dots \rangle\\
+ &\equiv \bigvee ( \langle \dots, 0, \dots,
+ \overset{i}{c}, \dots, 0, \dots \rangle \mid d \leq c < 1 )
+ \equiv 1 \pmod{\Theta}.
+ \end{split}
+ \end{equation}
+
+ Let $j \in I$ for $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{equation}\label{E:comp}
+ \begin{split}
+ 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}.
+ \end{split}
+ \end{equation}
+ 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$.
+\end{proof}
+
+\begin{theorem}\label{T:P*a}
+ Let $D_{i}$, for $i \in I$, be complete distributive lattices
+ satisfying conditions \textup{(2)} and~\textup{(3)}. Then
+ $\Pi^{*} ( D_{i} \mid i \in I )$ also satisfies conditions \textup{(2)}
+ and~\textup{(3)}.
+\end{theorem}
+
+\begin{proof}
+ Let $\Theta$ be a complete congruence on
+ $\Pi^{*} ( D_{i} \mid i \in I )$. Let $i \in I$. Define
+ \[
+ \widehat{D}_{i} = \{ \langle \dots, 0, \dots, \overset{i}{d},
+ \dots, 0, \dots \rangle \mid d \in D_{i}^{-} \} \cup \{ 1 \}.
+ \]
+ Then $\widehat{D}_{i}$ is a complete sublattice of
+ $\Pi^{*} ( D_{i} \mid i \in I )$, and $\widehat{D}_{i}$ is
+ isomorphic to $D_{i}$. Let $\Theta_{i}$ be the restriction of
+ $\Theta$ to $\widehat{D}_{i}$.
+
+ Since $D_{i}\) is complete-simple, so is $\widehat{D}_{i}$, and
+ hence $\Theta_{i}$ is $\omega$ or $\iota$. If
+ $\Theta_{i} = \rho$ for all $i \in I$, then
+ $\Theta = \omega$. If there is an $i \in I$, such that
+ $\Theta_{i} = \iota$, then $0 \equiv 1 \pmod{\Theta}$, hence
+ $\Theta = \iota$.
+\end{proof}
+
+The Main Theorem follows easily from Theorems \ref{T:P*} and~\ref{T:P*a}.
+
+\bibliographystyle{amsplain}
+\bibliography{sampartb}
+\end{document}
+
diff --git a/Master/texmf-dist/doc/latex/mil3/sampartu.tex b/Master/texmf-dist/doc/latex/mil3/sampartu.tex
new file mode 100644
index 00000000000..41ef8bfe5e0
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/sampartu.tex
@@ -0,0 +1,259 @@
+% Sample file: sampartu.tex
+% The sample article for the amsart document class
+% with user-defined commands and environments
+% Typeset with LaTeX format
+
+\documentclass{amsart}
+\usepackage{amssymb,latexsym}
+\usepackage{lattice}
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\newtheorem{corollary}{Corollary}
+\newtheorem{lemma}{Lemma}
+\newtheorem{proposition}{Proposition}
+
+\theoremstyle{definition}
+\newtheorem{definition}{Definition}
+
+\theoremstyle{remark}
+\newtheorem*{notation}{Notation}
+
+\numberwithin{equation}{section}
+
+\newcommand{\Prodm}[2]{\gP(\,#1\mid#2\,)}
+ % product with a middle
+\newcommand{\Prodsm}[2]{\gP^{*}(\,#1\mid#2\,)}
+ % product * with a middle
+\newcommand{\vct}[2]{\vv<\dots,0,\dots,\overset{#1}{#2},%
+\dots,0,\dots>}% special vector
+\newcommand{\fp}{\F{p}}% Fraktur p
+\newcommand{\Ds}{D^{\langle2\rangle}}
+
+\begin{document}
+\title[Complete-simple distributive lattices]
+ {A construction of complete-simple\\
+ distributive lattices}
+\author{George~A. Menuhin}
+\address{Computer Science Department\\
+ University of Winnebago\\
+ Winnebago, Minnesota 23714}
+\email{menuhin@ccw.uwinnebago.edu}
+\urladdr{http://math.uwinnebago.edu/homepages/menuhin/}
+\thanks{Research supported by the NSF under grant number~23466.}
+\keywords{Complete lattice, distributive lattice, complete
+ congruence, congruence lattice}
+\subjclass[2000]{Primary: 06B10; Secondary: 06D05}
+\date{March 15, 1999}
+
+\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}
+\maketitle
+
+\section{Introduction}\label{S:intro}
+In this note we prove the following result:
+
+\begin{named}{Main Theorem}
+ There exists an infinite complete distributive lattice
+ $K$ with only the two trivial complete congruence relations.
+\end{named}
+
+\section{The $\Ds$ construction}\label{S:Ds}
+For the basic notation in lattice theory and universal algebra,
+see Ferenc~R. Richardson~\cite{fR82} and George~A.
+Menuhin~\cite{gM68}. We start with some definitions:
+
+\begin{definition}\label{D:prime}
+ Let $V$ be a complete lattice, and let $\fp = [u, v]$ be
+ an interval of $V$. Then $\fp$ is called
+ \emph{complete-prime} if the following three conditions
+ are satisfied:
+ \begin{enumeratei}
+ \item $u$ is meet-irreducible but $u$ is \emph{not}
+ completely meet-irreducible;\label{m-i}
+ \item $v$ is join-irreducible but $v$ is \emph{not}
+ completely join-irreducible;\label{j-i}
+ \item $[u, v]$ is a complete-simple lattice.\label{c-s}
+ \end{enumeratei}
+\end{definition}
+
+Now we prove the following result:
+
+\begin{lemma}\label{L:ds}
+ Let $D$ be a complete distributive lattice satisfying
+ conditions \eqref{m-i} and~\eqref{j-i}.
+ Then $\Ds$ is a sublattice of $D^{2}$; hence $\Ds$ is
+ a lattice, and $\Ds$ is a complete distributive lattice
+ satisfying conditions \eqref{m-i} and~\eqref{j-i}.
+\end{lemma}
+
+\begin{proof}
+ By conditions~\eqref{m-i} and \eqref{j-i}, $\Ds$ is a
+ sublattice of $D^{2}$. Hence, $\Ds$ is a lattice.
+
+ Since $\Ds$ is a sublattice of a distributive lattice,
+ $\Ds$ is a distributive lattice. Using the characterization
+ of standard ideals in Ernest~T. Moynahan~\cite{eM57},
+ $\Ds$ has a zero and a unit element, namely,
+ $\vv<0, 0>$ and $\vv<1, 1>$. To show that $\Ds$ is
+ complete, let $\es \ne A \ci \Ds$, and let $a = \JJ A$
+ in $D^{2}$. If $a \in \Ds$, then
+ $a = \JJ A$ in $\Ds$; otherwise, $a$ is of the form
+ $\vv<b, 1>$ for some $b \in D$ with $b < 1$. Now
+ $\JJ A = \vv<1, 1>$ in $D^{2}$, and
+ the dual argument shows that $\MM A$ also exists in
+ $D^{2}$. Hence $D$ is complete. Conditions \eqref{m-i}
+ and~\eqref{j-i} are obvious for $\Ds$.
+\end{proof}
+
+\begin{corollary}\label{C:prime}
+ If $D$ is complete-prime, then so is $\Ds$.
+\end{corollary}
+
+The motivation for the following result comes from Soo-Key
+Foo~\cite{sF90}.
+
+\begin{lemma}\label{L:ccr}
+ Let $\gQ$ be a complete congruence relation of $\Ds$ such
+ that
+ \begin{equation}\label{E:rigid}
+ \con \vv<1, d>=\vv<1, 1>(\gQ),
+ \end{equation}
+ for some $d \in D$ with $d < 1$. Then $\gQ = \gi$.
+\end{lemma}
+
+\begin{proof}
+ Let $\gQ$ be a complete congruence relation of $\Ds$
+ satisfying \eqref{E:rigid}. Then $\gQ = \gi$.
+\end{proof}
+
+\section{The $\gP^{*}$ construction}\label{S:P*}
+The following construction is crucial to our proof of the
+Main~Theorem:
+
+\begin{definition}\label{D:P*}
+ Let $D_{i}$, for $i \in I$, be complete distributive
+ lattices satisfying condition~\eqref{j-i}. Their $\gP^{*}$
+ product is defined as follows:
+ \[
+ \Prodsm{ D_{i} }{i \in I} = \Prodm{ D_{i}^{-} }{i \in I}+1;
+ \]
+ that is, $\Prodsm{ D_{i} }{i \in I}$ is
+ $\Prodm{ D_{i}^{-} }{i \in I}$ with a new unit element.
+\end{definition}
+
+\begin{notation}
+ If $i \in I$ and $d \in D_{i}^{-}$, then
+ \[
+ \vct{i}{d}
+ \]
+ is the element of $\Prodsm{ D_{i} }{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:
+
+\begin{theorem}\label{T:P*}
+ Let $D_{i}$, for $i \in I$, be complete distributive
+ lattices satisfying condition~\eqref{j-i}. Let $\gQ$
+ be a complete congruence relation on
+ $\Prodsm{ D_{i} }{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}
+ \con\vct{i}{d}=\vct{i}{c}(\gQ),
+ \end{equation}
+ then $\gQ = \gi$.
+\end{theorem}
+
+\begin{proof}
+ Since
+ \begin{equation}\label{E:cong2}
+ \con\vct{i}{d}=\vct{i}{c}(\gQ),
+ \end{equation}
+ and $\gQ$ is a complete congruence relation, it follows
+ from condition~\eqref{c-s} that
+ \begin{equation}\label{E:cong}
+ \begin{split}
+ &\langle \dots, \overset{i}{d}, \dots, 0,
+ \dots \rangle\\
+ &\equiv \bigvee ( \langle \dots, 0, \dots,
+ \overset{i}{c},\dots, 0,\dots \rangle \mid d \leq c < 1)
+ \equiv 1 \pmod{\Theta}.
+ \end{split}
+ \end{equation}
+
+ Let $j \in I$, for $j \neq i$, and let
+ $a \in D_{j}^{-}$. Meeting both sides of the congruence
+ \eqref{E:cong} with $\vct{j}{a}$, we obtain
+ \begin{equation}\label{E:comp}
+ \begin{split}
+ 0 &= \vct{i}{d} \mm \vct{j}{a}\\
+ &\equiv \vct{j}{a}\pod{\gQ}.
+ \end{split}
+ \end{equation}
+ Using the completeness of $\gQ$ and \eqref{E:comp}, we get:
+ \begin{equation}\label{E:cong3}
+ \con{0=\JJm{ \vct{j}{a} }{ a \in D_{j}^{-} }}={1}(\gQ),
+ \end{equation}
+ hence $\gQ = \gi$.
+\end{proof}
+
+\begin{theorem}\label{T:P*a}
+ Let $D_{i}$, for $i \in I$, be complete distributive
+ lattices satisfying
+ conditions \eqref{j-i} and~\eqref{c-s}. Then
+ $\Prodsm{ D_{i} }{i \in I}$ also satisfies
+ conditions~\eqref{j-i} and \eqref{c-s}.
+\end{theorem}
+
+\begin{proof}
+ Let $\gQ$ be a complete congruence on
+ $\Prodsm{ D_{i} }{i \in I}$. Let $i \in I$. Define
+ \begin{equation}\label{E:dihat}
+ \widehat{D}_{i} = \setm{ \vct{i}{d} }{ d \in D_{i}^{-} }
+ \uu \set{1}.
+ \end{equation}
+ Then $\widehat{D}_{i}$ is a complete sublattice of
+ $\Prodsm{ D_{i} }{i \in I}$, and $\widehat{D}_{i}$
+ is isomorphic to $D_{i}$. Let $\gQ_{i}$ be the
+ restriction of $\gQ$ to $\widehat{D}_{i}$. Since
+ $D_{i}$ is complete-simple, so is $\widehat{D}_{i}$,
+ hence $\gQ_{i}$ is $\go$ or $\gi$. If $\gQ_{i} = \go$
+ for all $i \in I$, then $\gQ = \go$.
+ If there is an $i \in I$, such that $\gQ_{i} = \gi$,
+ then $\con0=1(\gQ)$, and hence $\gQ = \gi$.
+\end{proof}
+
+The Main Theorem follows easily from Theorems~\ref{T:P*} and
+\ref{T:P*a}.
+
+\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, 1968.
+
+ \bibitem{eM57}
+ Ernest~T. Moynahan, \emph{On a problem of M. Stone},
+ Acta Math. Acad. Sci. Hungar. \tbf{8} (1957), 455--460.
+
+ \bibitem{eM57a}
+ \bysame, \emph{Ideals and congruence relations in
+ lattices}.~II, Magyar Tud. Akad. Mat. Fiz. Oszt. K\"{o}zl.
+ \tbf{9} (1957), 417--434 (Hungarian).
+
+ \bibitem{fR82}
+ Ferenc~R. Richardson, \emph{General Lattice Theory}, Mir,
+ Moscow, expanded and revised ed., 1982 (Russian).
+
+\end{thebibliography}
+\end{document} \ No newline at end of file
diff --git a/Master/texmf-dist/doc/latex/mil3/sample.html b/Master/texmf-dist/doc/latex/mil3/sample.html
new file mode 100644
index 00000000000..b4f57673df9
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/sample.html
@@ -0,0 +1,24 @@
+<html>
+ <head>
+ <title>HTML can do math (a little)</title>
+ </head>
+ <body>
+ <h1>A simple example
+ </h1>
+ <p>
+ Hello, <i>new users</i>!
+ <p>
+ We link to my Web site:
+ <a href="http://www.maths.umanitoba.ca/homepages/gratzer/">
+ Gratzer Homepage</a>
+ <p>
+ And here is a list:
+ <ul>
+ <li>We do a squared<br>
+ a <sup>2</sup><p>
+ <!-- Do not try to do square root! -->
+ <li>and a umlaut<br>
+ George Gr&auml;tzer
+ </ul>
+ </body>
+</html>
diff --git a/Master/texmf-dist/doc/latex/mil3/svsing2e.sty b/Master/texmf-dist/doc/latex/mil3/svsing2e.sty
new file mode 100644
index 00000000000..07e87816b50
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/svsing2e.sty
@@ -0,0 +1,295 @@
+% Copyright (C) 1988, 1994 Springer-Verlag, Inc.
+%
+% Everyone is granted permission to copy and redistribute this file, as
+% long as it is unchanged. If any changes are made the file MUST be renamed.
+%
+%
+% svsing2e.sty 22 Sep 94
+% Fixed lots & lots of bugs
+% Made compatible with LaTeX2e
+%
+%get rid of ae's
+\catcode`\^^Z 10
+\typeout{LaTeX2e package "svsing2e" (Springer-Verlag Single-Authored). v. 1.3 released May 1995}
+%
+\@twosidetrue
+\headheight=9pt
+\headsep=15pt % 2pc-9pt
+\textheight=45pc
+%Let's put integer number of 12-pt \baselineskip's on page
+\advance\textheight-2\p@
+\textwidth=27pc
+\parindent=1em
+\parskip\z@
+\clubpenalty\@M
+\widowpenalty\@M
+%
+% Running head: 9 pt TR, c/lc, 2em# inside of fl. outside folio, base aligns
+% with folio; recto: CN, period, word # to CT; verso: contributor's name(s).
+% In single-author, verso: SN, period, word # to ST.
+%
+% If you want the running heads on the opposite pages, just put \flipheads
+% after the documentstyle. LaTeX isn't bright enough to allow one option
+% file to define ds@flipheads.
+%
+\def\markbothsame#1{\markboth{#1}{#1}}
+\def\ps@myheadings{%
+ \let\@mkboth\markboth % Instead of \@gobbletwo, for toc
+ \let\@oddfoot\@empty\let\@evenfoot\@empty
+ \def\@oddhead{\small\upshape\hfil\rightmark\hskip\tw@ em\thepage}%
+ \def\@evenhead{\small\upshape\thepage\hskip\tw@ em\leftmark\hfill}%
+ \def\chaptermark##1{\markbothsame%
+ {\ifnum\c@secnumdepth>\m@ne\@chapapp\ \thechapter. \ \fi##1}}%
+ \def\sectionmark##1{\markright{\ifnum\c@secnumdepth>\z@\thesection\ \fi
+ ##1}}}
+%
+\pagestyle{myheadings}
+\pagenumbering{roman} % toc is in roman
+\pagestyle{myheadings}
+\def\@chapterauthors{}
+%
+% All pages without running heads must carry corner marks.
+%
+\def\clap#1{\hbox to 0pt{\hss#1\hss}}
+\newdimen\@crosshairrule \@crosshairrule=.24pt
+\def\@crosshairs{%
+\vbox to 0pt{\hsize=0pt\baselineskip=0pt\lineskip=0pt
+ \vss
+ \clap{\vrule height .125in width \@crosshairrule depth 0pt}
+ \clap{\vrule width .25in height \@crosshairrule depth 0pt
+ \rlap{\vbox to\z@{\vss\hbox{
+%This is page \thepage\strut
+}%
+ \hbox{
+%Printer: Opaque this\strut
+}\vss}}}
+ \clap{\vrule height .125in width \@crosshairrule depth 0pt}
+ \vss}}
+\def\ps@empty{%
+\def\@oddhead{\hfill\raise\headheight\@crosshairs}
+\let\@evenhead\@oddhead
+\def\@evenfoot{}\let\@oddfoot\@evenfoot}
+\frenchspacing
+\def\@chapapp{}
+%8/10
+\def\viiiONx{\@setfontsize\@footnotesize\@viiipt{10pt}}
+%10/12
+\def\xONxii{\@setfontsize\normalsize\@xpt{12pt}}
+%12/14
+\def\xiiONxiv{\@setfontsize\large\@xiipt{14pt}}
+%14/16
+\def\xivONxvi{\@setfontsize\Large\@xivpt{16pt}}
+%14/14
+\def\xivONxiv{\@setfontsize\Large\@xivpt{14pt}}
+%20/20
+\def\xxONxx{\@setfontsize\huge\@xxpt{20pt}}
+%
+\renewcommand\footnotesize{%
+ \viiiONx
+ \abovedisplayskip 6\p@ \@plus2\p@ \@minus4\p@
+ \abovedisplayshortskip \z@ \@plus\p@
+ \belowdisplayshortskip 3\p@ \@plus\p@ \@minus2\p@
+ \def\@listi{\leftmargin\leftmargini
+ \topsep 3\p@ \@plus\p@ \@minus\p@
+ \parsep 2\p@ \@plus\p@ \@minus\p@
+ \itemsep \parsep}%
+ \belowdisplayskip \abovedisplayskip
+}
+\font\chnum = cmr10 scaled \magstep5
+\def\chapter{\cleardoublepage % Starts new recto.
+ \thispagestyle{empty} % Page style of chapter page is 'empty'
+ \global\@topnum\z@ % Prevents figures from going at top of page.
+ \@afterindentfalse % Suppresses indent in first paragraph. Change
+ \secdef\@chapter\@schapter} % to \@afterindenttrue to have indent.
+%
+% Chapter number: 24 CM, arabic numeral, fl.l, top text
+% Chapter title: 20/20 CM x 27pc, c/lc, fl.l, sink 60 pt from top
+% type to base of CT, to's fl.l, do not hyphenate
+%
+\def\@makechapterhead#1{ % Heading for \chapter command
+% We want the chapter number to be 20 pts from top text. The simplest
+% was is to set \topskip, making sure there's nothing between the number
+% and the top of page, so \baselineskip doesn't come in.
+\vbox to 238pt{{ \topskip=20pt \parindent 0pt \raggedright
+ \xxONxx\rm
+ \ifnum \c@secnumdepth >\m@ne % IF secnumdepth > -1 THEN
+ {\chnum \@chapapp{} \thechapter} % Print 'Chapter' and number.
+ \fi
+ \par
+ \vskip 10pt % Space between number and title.
+ #1\par % Title.
+ \nobreak % TeX penalty to prevent page break.
+~ \vfil
+} } }
+%
+\def\@makeschapterhead#1{ % Heading for \chapter* command
+\vbox to 238pt{{ \topskip=46pt \parindent 0pt \raggedright
+ \xxONxx\rm
+ #1\par % Title.
+ \nobreak % TeX penalty to prevent page break.
+ \vfil
+} } }
+%
+% Restart the footnote counter each chapter.
+%
+%\newcounter{footnote}[chapter]
+%
+% FN 1pc space above footnotes to text.
+% 5 pc 1/2 pt rule fl.l. above footnotes
+% leave 6pt # after rule followed by ftn
+%
+\skip\footins=18.5pt % space above line and below line, 1pc+6pt+.5pt
+\footskip=16pt
+\footnotesep=7pt % pretty arbitrary
+\def\footnoterule{\kern-6.5pt\hrule width 5pc height .5pt\vskip 6pt}
+%
+% Footnote at end of chapter position below last text line (not at bottom
+% of page).
+%
+\def\clearpage{\par\vfill\penalty -\@M \write\m@ne{}\vbox{}\penalty -\@Mi}
+\def\newpage{\par\vfill\penalty -\@M}
+\def\@makecol{\ifvoid\footins \setbox\@outputbox\box\@cclv
+ \else\setbox\@outputbox
+ \vbox{\unvbox\@cclv\vskip\skip\footins\footnoterule\unvbox\footins}\fi
+ \xdef\@freelist{\@freelist\@midlist}\gdef\@midlist{}\@combinefloats
+ \setbox\@outputbox\vbox to\@colht{\boxmaxdepth\maxdepth
+ \@texttop
+ \unvbox\@outputbox
+ \@textbottom}\global\maxdepth\@maxdepth}
+\flushbottom
+%
+% Abstract: 9/11 TRx25pi, sink 2.5pi b/b from CA
+%
+\def\abstract{\vskip 21pt % from CA
+\rightskip=1pc\leftskip=1pc\parindent=\z@
+\small\rm
+{ABSTRACT }}
+\def\endabstract{\par} % If we don't do this, the paragraph won't be
+ % set until after rightskip and leftskip have been
+ % returned to their old values.
+%
+\def\tableofcontents{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn
+ \fi\chapter*{Contents}\markbothsame{Contents}%
+ \@starttoc{toc}\if@restonecol\twocolumn\fi}
+%
+% Don't indent the paragraph following each header. Vertical distances
+% showld have \baselineskip taken out, and the height of the next
+% line, which should be text (10/12 TR).
+%
+\setcounter{secnumdepth}{2} % number section and subsections
+\setcounter{tocdepth}{2} % and put them in the table of contents
+% No 1 Head, 14/16 TR, 36pt b/b above, 24 tp b/b below
+\def\section{\@startsection
+ {section}{1}{\z@}{-24pt plus -6pt minus -3pt}{12pt}%
+ {\xivONxvi\rm\raggedright}}
+% No 2 Head, 12/14 TR, c/sc, 30pt above, 18 pt below
+\def\subsection{\@startsection
+ {subsection}{2}{\z@}{-18pt plus-4.8pt minus-2.4pt}{6pt}%
+ {\xiiONxiv\it\raggedright}}
+% No 3 Head, 10/12 TR, 24pt above, 18pt below
+\def\subsubsection{\@startsection
+ {subsubsection}{3}{\z@}{-12pt plus-4.2pt minus-2.1pt}{6pt}%
+ {\xONxii\rm\raggedright}}
+% No 4 Head, 10/12 TR italic, 20pt above, 18pt below
+\def\paragraph{\@startsection
+ {paragraph}{4}{\z@}{-8pt plus-3.8pt minus-1.7pt}{6pt}%
+ {\xONxii\it\raggedright}}
+% No 5 Head, 10/12 TR italic, period, en space to run in text, 18pt above
+\def\subparagraph#1{\@startsection
+ {subparagraph}{5}{\z@}{-6pt plus-1.8pt minus-.9pt}{-.5em}{\xONxii\it}{#1.}}
+% Ack: Acknowledgements same as No 5 head, 36pt above
+\def\acknowledgments{\@startsection
+ {subparagraph}{6}{\z@}{-24pt plus-3.6pt minus-1.8pt}{-.5em}%
+ {\xONxii\it}*{Acknowledgments:\/}}
+% R-1: ``References'', same as No.2 head
+% unless it's single-author.
+\def\mainbibliography#1{{\bibliography{#1}}}
+\def\thebibliography#1{%
+ \chapter*{References}\markbothsame{References}%
+ \addcontentsline{toc}{chapter}{\protect\numberline{}References}%
+%endif
+ \list
+ {[\arabic{enumiv}]}{\settowidth\labelwidth{[#1]}\leftmargin\labelwidth
+ \advance\leftmargin\labelsep
+%Per zwart, enumi replaced by enumiv in this macro
+ \usecounter{enumiv}}
+ \def\newblock{\hskip .11em plus .33em minus -.07em}
+ \sloppy
+ \sfcode`\.=1000\relax}
+% Put index in the toc
+\def\theindex{\@restonecoltrue\if@twocolumn\@restonecolfalse\fi
+\columnseprule \z@
+\columnsep 35pt\twocolumn[\@makeschapterhead{Index}]
+ \addcontentsline{toc}{chapter}{\protect\numberline{}Index}%
+ \@mkboth{Index}{Index}\thispagestyle{empty}\parindent\z@
+ \parskip\z@ plus .3pt\relax\let\item\@idxitem}
+\def\theauthorindex{\@restonecoltrue\if@twocolumn\@restonecolfalse\fi
+\columnseprule \z@
+\columnsep 35pt\twocolumn[\@makeschapterhead{Author Index}]
+ \addcontentsline{toc}{chapter}{\protect\numberline{}Author Index}%
+ \@mkboth{Author Index}{Author Index}\thispagestyle{empty}\parindent\z@
+ \parskip\z@ plus .3pt\relax\let\item\@idxitem}
+\def\thesubjectindex{\@restonecoltrue\if@twocolumn\@restonecolfalse\fi
+\columnseprule \z@
+\columnsep 35pt\twocolumn[\@makeschapterhead{Subject Index}]
+ \addcontentsline{toc}{chapter}{\protect\numberline{}Subject Index}%
+ \@mkboth{Subject Index}{Subject Index}\thispagestyle{empty}\parindent\z@
+ \parskip\z@ plus .3pt\relax\let\item\@idxitem}
+\def\thesymbolindex{\@restonecoltrue\if@twocolumn\@restonecolfalse\fi
+\columnseprule \z@
+\columnsep 35pt\twocolumn[\@makeschapterhead{Symbol Index}]
+ \addcontentsline{toc}{chapter}{\protect\numberline{}Symbol Index}%
+ \@mkboth{Symbol Index}{Symbol Index}\thispagestyle{empty}\parindent\z@
+ \parskip\z@ plus .3pt\relax\let\item\@idxitem}
+%
+% lists: 10/12 TRx27pc, 1/2line# above/below
+%
+\topsep 6pt plus1.8pt minus.9pt % Extra vertical space, in addition to
+ % \parskip, added above and below list and
+ % paragraphing environments.
+\itemsep 6pt plus1.8pt minus.9pt % Extra vertical space, in addition to
+ % \parskip, added between list items.
+%
+% Eq: Center on text width; equation numbers set flush right, align with
+% last line of equation, 6pt # above/below.
+%
+\abovedisplayskip=6pt plus 1.8pt minus.9pt
+\belowdisplayskip=\abovedisplayskip
+\abovedisplayshortskip=\z@ plus 1.2pt
+\belowdisplayshortskip=3pt plus 1.5pt minus .75pt
+%
+% FL: Figure legends ``FIGURE 0.0'' 9/11 TR, c/lc, period, word # to text.
+%\floatsep 12pt plus 2.4pt minus 1.2pt
+%\textfloatsep 12pt plus 4.8pt
+%\intextsep 12pt plus 2.4pt minus 1.2pt
+%%\@maxsep 12pt %% Not used in LaTeX2e
+%
+%\long\def\@makecaption#1#2{{
+% \vskip 6pt
+% \small
+% \setbox\@tempboxa\hbox{#1. #2}
+% \ifdim \wd\@tempboxa >\hsize % IF longer than one line:
+ % \unhbox\@tempboxa\hfil\par % THEN set as ordinary
+%paragraph.
+% \else % ELSE center.
+% \hbox to\hsize{\hfil\box\@tempboxa\hfil}
+% \fi}}
+%\def\fnum@figure{\small FIGURE \thefigure}%{\sc FIGURE~}\thefigure}
+%
+% TN+TT: ``TABLE 0.0'' 9/11 TR, c/lc. period, word # to table title:
+% 3 pt # below to 1/2 pt rule x table measuer, 3 pt # below rule to
+% TCH
+%
+%\arrayrulewidth=.5pt
+%\def\fnum@table{\small TABLE~\thetable}
+%
+%\usepackage{psfig}
+%\def\figput#1#2#3{\begin{figure}\hfil%
+%\psfig{figure=#1,height=#2}\hfil\caption{#3}%
+% \end{figure}}
+%\def\figpage#1#2#3{\begin{figure}[p]\hfil%
+%\psfig{figure=#1,height=#2}\hfil\caption{#3}%
+% \end{figure}}
+% End of svsing2e.sty
+
+\endinput
diff --git a/Master/texmf-dist/doc/latex/mil3/svsing6.cls b/Master/texmf-dist/doc/latex/mil3/svsing6.cls
new file mode 100644
index 00000000000..8fe618e3200
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/svsing6.cls
@@ -0,0 +1,663 @@
+%%% Portions Copyright 1993 1994 1995 1996 1997
+%% The LaTeX3 Project and any individual authors listed elsewhere
+%% in this file.
+%%
+%% Compilation and portions copyright 1998 Springer-Verlag New York, Inc.
+%%
+\NeedsTeXFormat{LaTeX2e}[1995/12/01]
+\ProvidesClass{svsing6}[1998/11/08 v1.0 Springer-Verlag LaTeX document class]
+\typeout{Note that this class will not work in compatibility mode.^^J
+ If you wish to use LaTeX 2.09, using svsing6.sty}
+\typeout{Springer-Verlag New York strongly recommends and prefers the use^^J
+ of LaTeX 2.09!}
+\errorcontextlines\z@
+\showboxdepth\z@
+\showboxbreadth\z@
+\let\wlog\@gobble
+\def\xx#1{{\gdef#1{{}}}}
+\DeclareOption{draft}{\setlength\overfullrule{5\p@}}
+\DeclareOption{final}{\setlength\overfullrule{\z@}}
+\DeclareOption{openright}{\let\chapclear\cleardoublepage}
+\DeclareOption{openany}{\let\chapclear\clearpage}
+\ExecuteOptions{final,openany}
+\ProcessOptions
+\ExecuteOptions{final,openright}
+\ProcessOptions
+%
+% Font size stuff
+%
+\def\setverticalskips{\abovedisplayskip\medskipamount
+ \belowdisplayskip\medskipamount
+ \abovedisplayshortskip\medskipamount
+ \belowdisplayshortskip\medskipamount
+ \topsep\medskipamount
+ \itemsep\medskipamount}
+\renewcommand\normalsize{%
+ \@setfontsize\normalsize{10}{12}%
+ \setlength\smallskipamount{3\p@\@plus1.5\p@\@minus.75\p@}%
+ \setlength\medskipamount{6\p@\@plus1.8\p@\@minus.9\p@}%
+ \setlength\bigskipamount{12\p@\@plus2.4\p@\@minus1.2\p@}%
+ \setverticalskips
+ \let\@listi\@listI}
+\newcommand\small{%
+ \@setfontsize\small{9}{11}%
+ \setlength\smallskipamount{2.75\p@\@plus1.375\p@\@minus.6825\p@}%
+ \setlength\medskipamount{5.5\p@\@plus1.65\p@\@minus.825\p@}%
+ \setlength\bigskipamount{11\p@\@plus2.2\p@\@minus1.1\p@}%
+ \setverticalskips
+ \def\@listi{\leftmargin\leftmargini\parsep\z@}}
+\newcommand\footnotesize{%
+ \@setfontsize\footnotesize{8}{10}%
+ \setlength\smallskipamount{2.5\p@\@plus1.25\p@\@minus.625\p@}%
+ \setlength\medskipamount{5\p@\@plus1.6\p@\@minus.8\p@}%
+ \setlength\bigskipamount{10\p@\@plus\tw@\p@\@minus\p@}%
+ \setverticalskips
+ \def\@listi{\leftmargin\leftmargini\parsep\z@}}
+\newcommand\scriptsize{\@setfontsize\scriptsize{7}{8}%
+ \setlength\smallskipamount{\tw@\p@\@plus\p@\@minus.5\p@}%
+ \setlength\medskipamount{4\p@\@plus1.2\p@\@minus.6\p@}%
+ \setlength\bigskipamount{8\p@\@plus1.6\p@\@minus.8\p@}%
+ \setverticalskips
+ \def\@listi{\leftmargin\leftmargini\parsep\z@}}
+\newcommand\tiny{\@setfontsize\tiny{5}{6}%
+ \setlength\smallskipamount{1.5\p@\@plus.75\p@\@minus.375\p@}%
+ \setlength\medskipamount{\thr@@\p@\@plus.9\p@\@minus.45\p@}%
+ \setlength\bigskipamount{6\p@\@plus1.2\p@\@minus.6\p@}%
+ \setverticalskips
+ \def\@listi{\leftmargin\leftmargini\parsep\z@}}
+\newcommand\large{\@setfontsize\large{12}{14}%
+ \setlength\smallskipamount{3.5\p@\@plus1.75\p@\@minus.875\p@}%
+ \setlength\medskipamount{7\p@\@plus2.1\p@\@minus1.05\p@}%
+ \setlength\bigskipamount{14\p@\@plus2.8\p@\@minus1.4\p@}%
+ \setverticalskips
+ \def\@listi{\leftmargin\leftmargini\parsep\z@}}
+\newcommand\Large{\@setfontsize\Large{14}{18}%
+ \setlength\smallskipamount{4.5\p@\@plus2.25\p@\@minus1.125\p@}%
+ \setlength\medskipamount{9\p@\@plus2.7\p@\@minus1.35\p@}%
+ \setlength\bigskipamount{18\p@\@plus3.6\p@\@minus1.8\p@}%
+ \setverticalskips
+ \def\@listi{\leftmargin\leftmargini\parsep\z@}}
+\newcommand\LARGE{\@setfontsize\LARGE{17}{22}%
+ \setlength\smallskipamount{5.5\p@\@plus2.75\p@\@minus1.375\p@}%
+ \setlength\medskipamount{11\p@\@plus3.3\p@\@minus1.65\p@}%
+ \setlength\bigskipamount{22\p@\@plus4.4\p@\@minus2.2\p@}%
+ \setverticalskips
+ \def\@listi{\leftmargin\leftmargini\parsep\z@}}
+\newcommand\huge{\@setfontsize\huge{20}{25}%
+ \setlength\smallskipamount{6.25\p@\@plus3.125\p@\@minus1.0625\p@}%
+ \setlength\medskipamount{12.5\p@\@plus3.75\p@\@minus1.375\p@}%
+ \setlength\bigskipamount{25\p@\@plus5\p@\@minus2.5\p@}%
+ \setverticalskips
+ \def\@listi{\leftmargin\leftmargini\parsep\z@}}
+\newcommand\Huge{\@setfontsize\Huge{25}{30}%
+ \setlength\smallskipamount{7.5\p@\@plus3.75\p@\@minus1.875\p@}%
+ \setlength\medskipamount{15\p@\@plus4.5\p@\@minus1.25\p@}%
+ \setlength\bigskipamount{30\p@\@plus6\p@\@minus\thr@@\p@}%
+ \setverticalskips
+ \def\@listi{\leftmargin\leftmargini\parsep\z@}}
+%8/10
+\def\viiiONx{\@setfontsize\@footnotesize{8}{10}%
+ \setlength\smallskipamount{2.5\p@\@plus1.25\p@\@minus.625\p@}%
+ \setlength\medskipamount{5\p@\@plus1.6\p@\@minus.8\p@}%
+ \setlength\bigskipamount{10\p@\@plus\tw@\p@\@minus\p@}%
+ \setverticalskips
+ \def\@listi{\leftmargin\leftmargini\parsep\z@}}
+%9/11
+\def\ixONxi{\@setfontsize\smallsize{9}{11}%
+ \setlength\smallskipamount{2.75\p@\@plus1.375\p@\@minus.6825\p@}%
+ \setlength\medskipamount{5.5\p@\@plus1.65\p@\@minus.825\p@}%
+ \setlength\bigskipamount{11\p@\@plus2.2\p@\@minus1.1\p@}%
+ \setverticalskips
+ \def\@listi{\leftmargin\leftmargini\parsep\z@}}
+%10/12
+\def\xONxii{\@setfontsize\normalsize{10}{12}%
+ \setlength\smallskipamount{3\p@\@plus1.5\p@\@minus.75\p@}%
+ \setlength\medskipamount{6\p@\@plus1.8\p@\@minus.9\p@}%
+ \setlength\bigskipamount{12\p@\@plus2.4\p@\@minus1.2\p@}%
+ \setverticalskips
+ \def\@listi{\leftmargin\leftmargini\parsep\z@}}
+%12/14
+\def\xiiONxiv{\@setfontsize\large{12}{14}%
+ \setlength\smallskipamount{3.5\p@\@plus1.75\p@\@minus.875\p@}%
+ \setlength\medskipamount{7\p@\@plus2.1\p@\@minus1.05\p@}%
+ \setlength\bigskipamount{14\p@\@plus2.8\p@\@minus1.4\p@}%
+ \setverticalskips
+ \def\@listi{\leftmargin\leftmargini\parsep\z@}}
+%14/14
+\def\xivONxiv{\@setfontsize\Large{14}{14}%
+ \setlength\smallskipamount{3.5\p@\@plus1.75\p@\@minus.875\p@}%
+ \setlength\medskipamount{7\p@\@plus2.1\p@\@minus1.05\p@}%
+ \setlength\bigskipamount{14\p@\@plus2.8\p@\@minus1.4\p@}%
+ \setverticalskips
+ \def\@listi{\leftmargin\leftmargini\parsep\z@}}
+%14/16
+\def\xivONxvi{\@setfontsize\Large{14}{16}%
+ \setlength\smallskipamount{4\p@\@plus\tw@\p@\@minus\p@}%
+ \setlength\medskipamount{8\p@\@plus2.4\p@\@minus1.2\p@}%
+ \setlength\bigskipamount{16\p@\@plus3.2\p@\@minus1.6\p@}%
+ \setverticalskips
+ \def\@listi{\leftmargin\leftmargini\parsep\z@}}
+%20/20
+\def\xxONxx{\@setfontsize\huge{20}{20}%
+ \setlength\smallskipamount{5\p@\@plus2.5\p@\@minus1.25\p@}%
+ \setlength\medskipamount{10\p@\@plus\thr@@\p@\@minus1.5\p@}%
+ \setlength\bigskipamount{20\p@\@plus4\p@\@minus\tw@\p@}%
+ \setverticalskips
+ \def\@listi{\leftmargin\leftmargini\parsep\z@}}
+%
+% List environments, etc. I
+%
+\def\@listi {\leftmargin\leftmargini
+ \parsep\z@}
+\def\@listii {\leftmargin\leftmarginii
+ \labelwidth\leftmarginii
+ \advance\labelwidth-\labelsep
+ \topsep 4\p@ \@plus2\p@ \@minus\p@
+ \parsep\z@
+ \itemsep \parsep}
+\def\@listiii{\leftmargin\leftmarginiii
+ \labelwidth\leftmarginiii
+ \advance\labelwidth-\labelsep
+ \topsep 2\p@ \@plus\p@\@minus\p@
+ \parsep \z@
+ \partopsep\z@
+ \itemsep \topsep}
+\def\@listiv {\leftmargin\leftmarginiv
+ \labelwidth\leftmarginiv
+ \advance\labelwidth-\labelsep}
+\def\@listv {\leftmargin\leftmarginv
+ \labelwidth\leftmarginv
+ \advance\labelwidth-\labelsep}
+\def\@listvi {\leftmargin\leftmarginvi
+ \labelwidth\leftmarginvi
+ \advance\labelwidth-\labelsep}
+\let\@listI\@listi
+%
+\normalsize
+\setlength\parindent{\@ne em}
+%
+% Various registers
+%
+\setlength\headheight{9\p@}
+\setlength\headsep{15\p@}
+\setlength\topskip{10\p@}
+\setlength\footskip{16\p@}
+\setlength\maxdepth{.5\topskip}
+\textwidth324\p@
+\@tempdima\baselineskip
+\setlength\textheight{44\baselineskip}
+\addtolength\textheight{\topskip}
+\setlength\hfuzz{.5\p@}
+\setlength\marginparsep{11\p@}
+\setlength\marginparpush{5\p@}
+\paperwidth8.5in
+\setlength\@tempdima {\paperwidth}
+\addtolength\@tempdima {-\textwidth}
+\setlength\oddsidemargin {.5\@tempdima}
+\addtolength\oddsidemargin {-1in}
+\@settopoint\oddsidemargin
+\evensidemargin\oddsidemargin
+\setlength\marginparwidth {.5\@tempdima}
+\addtolength\marginparwidth {-\marginparsep}
+\addtolength\marginparwidth {-0.4in}
+\ifdim \marginparwidth >2in \setlength\marginparwidth{2in} \fi
+\@settopoint\marginparwidth
+\paperheight11in
+\setlength\topmargin{\paperheight}
+\addtolength\topmargin{-2in}
+\addtolength\topmargin{-\headheight}
+\addtolength\topmargin{-\headsep}
+\addtolength\topmargin{-\textheight}
+\addtolength\topmargin{-\footskip} % this might be wrong!
+\addtolength\topmargin{-.5\topmargin}
+\@settopoint\topmargin
+\setlength\footnotesep{7\p@}
+\setlength{\skip\footins}{18.5\p@\@plus6\p@}
+\setlength\lineskip{\p@}
+\setlength\normallineskip{\p@}
+\renewcommand\baselinestretch{}
+\setlength\parskip{\z@skip}
+% Penalties
+\clubpenalty \@M
+\widowpenalty \@M
+\tolerance 1750
+\hbadness 1750
+\@lowpenalty 51
+\@medpenalty 151
+\@highpenalty 301
+\@beginparpenalty -\@lowpenalty
+\@endparpenalty -\@lowpenalty
+\@itempenalty -\@lowpenalty
+% Demerits
+\finalhyphendemerits100000000
+\doublehyphendemerits80000000
+%
+% Float parameters
+%
+\setlength\floatsep {12\p@\@plus2.4\p@\@minus1.2\p@}
+\setlength\textfloatsep{12\p@\@plus4.8\p@}
+\setlength\intextsep {12\p@\@plus2.4\p@\@minus1.2\p@}
+\setlength\@fptop{0\p@ \@plus 1fil}
+\setlength\@fpsep{8\p@ \@plus 2fil}
+\setlength\@fpbot{0\p@ \@plus 1fil}
+\setcounter{topnumber}{3}
+\renewcommand\topfraction{1}
+\setcounter{bottomnumber}{2}
+\renewcommand\bottomfraction{1}
+\setcounter{totalnumber}{6}
+\renewcommand\textfraction{0.085502}
+\renewcommand\floatpagefraction{.9}
+%
+% More registers
+%
+\setlength\partopsep{\z@skip}
+\setlength\arraycolsep{5\p@}
+\setlength\tabcolsep{6\p@}
+\setlength\arrayrulewidth{.5\p@}
+\setlength\doublerulesep{2\p@}
+\setlength\tabbingsep{\labelsep}
+\skip\@mpfootins \skip\footins
+\setlength\fboxsep{\thr@@\p@}
+\setlength\fboxrule{.4\p@}
+\setlength\columnsep{12\p@}
+\setlength\columnseprule{\z@}
+%
+% List environments, etc. II
+%
+\setlength\leftmargini {2.5em}
+\leftmargin \leftmargini
+\setlength\leftmarginii {2.2em}
+\setlength\leftmarginiii {1.87em}
+\setlength\leftmarginiv {1.7em}
+\setlength\leftmarginv {1em}
+\setlength\leftmarginvi {1em}
+\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}
+\newcommand\abstractname{Abstract}
+\newenvironment{abstract}{\vskip21\p@
+ \rightskip1pc\leftskip1pc\parindent\z@
+ \small
+ \begin{center}%
+ {\uppercase{\abstractname}\vspace{-.5em}\vspace{\z@}}%
+ \end{center}%
+ \quotation}
+{\endquotation}
+\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}
+%
+% make title
+%
+\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}%
+ \newpage
+ \global\@topnum\z@ % Prevents figures from going at top of page.
+ \@maketitle
+ \thispagestyle{empty}\@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}
+\newenvironment{titlepage}{\newpage\thispagestyle{empty}\setcounter{page}%
+ \@ne}{\newpage}
+%
+% Output stuff
+%
+\def\ps@headings{%
+ \let\@mkboth\markboth
+ \let\@oddfoot\@empty\let\@evenfoot\@empty
+ \def\@oddhead{\small\upshape\hfill\rightmark\hskip\tw@ em\thepage}%
+ \def\@evenhead{\small\upshape\thepage\hskip\tw@ em\leftmark\hfill}%
+ \def\chaptermark##1{\markbothsame{\ifnum\c@secnumdepth>\m@ne\@chapapp
+ \thechapter.\kern6\p@\fi##1}}%
+ \def\sectionmark##1{\markright{\ifnum\c@secnumdepth>\z@\thesection.\kern6\p@
+ \fi##1}}}
+\pagestyle{headings}
+\def\ps@index{%
+ \let\@mkboth\markboth
+ \let\@oddfoot\@empty\let\@evenfoot\@empty
+ \def\@oddhead{\hfill\small\upshape\indexname\hskip\tw@ em\thepage}%
+ \def\@evenhead{\small\upshape\thepage\hskip\tw@ em\indexname\hfill}}
+\def\clap#1{\hbox to\z@{\hss#1\hss}}
+\newdimen\@crosshairrule \@crosshairrule.2\p@
+\def\@crosshairs{\vbox to\z@{\hsize\z@\baselineskip\z@\lineskip\z@
+ \vss
+ \clap{\vrule height .125in width \@crosshairrule depth\z@}
+ \clap{\vrule width .25in height \@crosshairrule depth\z@
+ \rlap{\vbox to\z@{\vss\hbox{This is page \thepage\strut}%
+ \hbox{Printer: Opaque this\strut}\vss}}}
+ \clap{\vrule height .125in width \@crosshairrule depth\z@}
+ \vss}}
+\def\ps@empty{\def\@oddhead{\hfill\raise\headheight\@crosshairs}%
+ \let\@evenhead\@oddhead
+ \def\@evenfoot{}\let\@oddfoot\@evenfoot}
+\mark{{}{}}
+\def\markbothsame#1{\markboth{#1}{#1}}
+\def\clearpage{\par\vfill\penalty-\@M\write\m@ne{}\vbox{}\penalty-\@Mi}
+\def\newpage{\par\vfill\penalty-\@M}
+\def\cleardoublepage{\clearpage\ifodd\c@page\else\typeout{Page \the\c@page
+ \space is blank}\hbox{}\thispagestyle{empty}\newpage\fi}
+\def\@makecol{\ifvoid\footins \setbox\@outputbox\box\@cclv
+ \else\setbox\@outputbox
+ \vbox{\unvbox\@cclv\vskip\skip\footins\footnoterule\unvbox\footins}\fi
+ \xdef\@freelist{\@freelist\@midlist}\gdef\@midlist{}\@combinefloats
+ \setbox\@outputbox\vbox to\@colht{\boxmaxdepth\maxdepth
+ \@texttop
+ \unvbox\@outputbox
+ \@textbottom}\global\maxdepth\@maxdepth}
+%
+% Front matter
+%
+\setcounter{secnumdepth}{2}
+\setcounter{tocdepth}{2}
+\newdimen\@pnumwidth
+\setbox\z@\hbox{000\quad}
+\@pnumwidth\wd\z@
+\newcommand\@tocrmarg{2.55em}
+\newcommand\@dotsep{4.5}
+\newcommand*\l@part[2]{%
+ \ifnum \c@tocdepth >-2\relax
+ \addpenalty{-\@highpenalty}%
+ \addvspace{2.25em \@plus\p@}%
+ \begingroup
+ \parindent \z@ \rightskip \@pnumwidth
+ \parfillskip -\@pnumwidth
+ {\leavevmode
+ \large \bfseries #1\hfil \hb@xt@\@pnumwidth{\hss #2}}\par
+ \nobreak
+ \global\@nobreaktrue
+ \everypar{\global\@nobreakfalse\everypar{}}%
+ \endgroup
+ \fi}
+\newcommand*\l@chapter[2]{%
+ \ifnum \c@tocdepth >\m@ne
+ \addpenalty{-\@highpenalty}%
+ \vskip 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
+ \penalty\@highpenalty
+ \endgroup
+ \fi}
+\def\l@section{\@dottedtocline{1}{1.5em}{2.8em}}
+\def\l@subsection{\@dottedtocline{2}{4.3em}{3.2em}}
+\def\l@subsubsection{\@dottedtocline{3}{7.5em}{4.1em}}
+\def\l@paragraph{\@dottedtocline{4}{11.1em}{5em}}
+\def\l@subparagraph{\@dottedtocline{5}{12.5em}{6em}}
+\def\l@figure{\@dottedtocline{1}{1.5em}{2.3em}}
+\let\l@table\l@figure
+\newcommand\contentsname{Contents}
+\newcommand\listfigurename{List of Figures}
+\newcommand\listtablename{List of Tables}
+\newcommand\tableofcontents{\chapter*{\contentsname}\markbothsame
+ {\contentsname}\@starttoc{toc}}
+\newcommand\listoffigures{\chapter*{\listfigurename}\markbothsame
+ {\listfigurename}\@starttoc{lof}}
+\newcommand\listoftables{\chapter*{\listtablename}\markbothsame
+ {\listtablename}\@starttoc{lot}}
+%
+% Back matter
+%
+\newdimen\bibindent
+\setlength\bibindent{1.5em}
+\newcommand\newblock{\unskip\ \ignorespaces}
+\newcommand\bibname{References}
+\newenvironment{thebibliography}[1]%
+ {\chapter*{\bibname}\markbothsame{\bibname}%
+ \addcontentsline{toc}{chapter}{\bibname}%
+ \small
+ \itemsep\smallskipamount
+ \list
+ {[\arabic{enumiv}]}{\settowidth\labelwidth{[#1]}%
+ \leftmargin\labelwidth
+ \advance\leftmargin\labelsep
+ \usecounter{enumiv}%
+ \let\p@enumiv\@empty
+ \renewcommand\theenumiv{\@arabic\c@enumiv}}}
+ {\def\@noitemerr{\@latex@warning{Empty `thebibliography' environment}}%
+ \endlist}
+\newcommand\indexname{Index}
+\def\thebaseindex{\cleardoublepage\pagestyle{index}\columnseprule\z@
+ \columnsep18\p@\twocolumn[\@makeschapterhead{\indexname}]
+ \addcontentsline{toc}{chapter}{\indexname}%
+ \@mkboth{\indexname}{\indexname}\thispagestyle{empty}%
+ \small\parindent\z@
+ \rightskip\z@ plus6em
+ \parskip\z@\@plus.3\p@
+ \let\item\@idxitem}
+\let\theindex\thebaseindex
+\def\theauthorindex{\def\indexname{Author Index}\thebaseindex}
+\def\thesubjectindex{\def\indexname{Subject Index}\thebaseindex}
+\def\thesymbolindex{\def\indexname{Symbol Index}\thebaseindex}
+\newcommand\@idxitem{\par\hangindent\thr@@ em}
+\newcommand\subitem{\@idxitem\hspace*{\@ne em}}
+\newcommand\subsubitem{\@idxitem\hspace*{\tw@ em}}
+\newcommand\indexspace{\par\vskip11\p@ plus2.2\p@ minus1.1\p@}
+\def\endtheindex{\clearpage\onecolumn}
+\let\endthesymbolindex\endtheindex
+\let\endtheauthorindex\endtheindex
+\let\endthesubhectindex\endtheindex
+%
+% heads
+%
+\newcommand\partname{Part}
+\newcommand\chaptername{}
+\newcommand\appendixname{Appendix}
+\newcommand\@chapapp{\chaptername}
+\newcounter{part}
+\newcounter{chapter}
+\newcounter{section}[chapter]
+\newcounter{subsection}[section]
+\newcounter{subsubsection}[subsection]
+\newcounter{paragraph}[subsubsection]
+\newcounter{subparagraph}[paragraph]
+\renewcommand\thepart {\@Roman\c@part}
+\renewcommand\thechapter {\@arabic\c@chapter}
+\renewcommand\thesection {\thechapter.\@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{\cleardoublepage\thispagestyle{empty}\null\vfil\secdef\@part
+ \@spart}
+\def\@part[#1]#2{\ifnum\c@secnumdepth>-\tw@\refstepcounter{part}%
+ \addcontentsline{toc}{part}{\thepart\hspace{1em}#1}\else\addcontentsline
+ {toc}{part}{#1}\fi\markboth{}{}{\centering\interlinepenalty\@M\normalfont
+ \ifnum\c@secnumdepth>-2\relax\huge\bfseries\partname~\thepart\par\vskip20\p@
+ \fi\Huge\bfseries#2\par}\@endpart}
+\def\@spart#1{{\centering\interlinepenalty\@M\normalfont\Huge\bfseries#1\par}%
+ \@endpart}
+\def\@endpart{\vfil\newpage\null\thispagestyle{empty}\newpage}
+\font\chnum cmr10 scaled \magstep5
+\def\chapter{\chapclear\thispagestyle{empty}\global\@topnum\z@
+ \@afterindentfalse\secdef\@chapter\@schapter}
+\def\@chapter[#1]#2{\ifnum\c@secnumdepth>\m@ne\refstepcounter{chapter}%
+ \typeout{\@chapapp\space\thechapter.}\addcontentsline{toc}{chapter}%
+ {\protect\numberline{\thechapter}#1}\else\addcontentsline{toc}{chapter}{#1}%
+ \fi\chaptermark{#1}\addtocontents{lof}{\protect\addvspace{10\p@}}%
+ \addtocontents{lot}{\protect\addvspace{10\p@}}\@makechapterhead{#2}%
+ \@afterheading}
+\def\@schapter#1{\@makeschapterhead{#1}\@afterheading}
+\def\@makechapterhead#1{\vbox to238\p@{{\strut\vskip20\p@\raggedright\xxONxx
+ \ifnum\c@secnumdepth>\m@ne{\chnum\@chapapp{}\thechapter}\fi\par\vskip10\p@
+ #1\par\vfil}}}
+\def\@makeschapterhead#1{\vbox to238\p@{{\strut\vskip50.5\p@\raggedright
+ \xxONxx#1\par\vfil}}}
+\newcommand\appendix{\par\setcounter{chapter}{0}\setcounter{section}{0}%
+ \renewcommand\@chapapp{\appendixname}\renewcommand\thechapter{\@Alph
+ \c@chapter}}
+\def\section{\@startsection{section}{\@ne}{\z@}{-24\p@\@plus-6\p@\@minus
+ -\thr@@\p@}{12\p@}{\xivONxvi\raggedright}}
+\def\subsection{\@startsection{subsection}{\tw@}{\z@}{-18\p@\@plus-4.8\p@
+ \@minus-2.4\p@}{6\p@}{\xiiONxiv\itshape\raggedright}}
+\def\subsubsection{\@startsection{subsubsection}{\thr@@}{\z@}{-12\p@\@plus
+ -4.2\p@\@minus-2.1\p@}{6\p@}{\xONxii\rm\raggedright}}
+\def\paragraph{\@startsection{paragraph}{4}{\z@}{-8\p@\@plus-3.8\p@\@minus
+ -1.7\p@}{6\p@}{\xONxii\itshape\raggedright}}
+\def\subparagraph#1{\@startsection{subparagraph}{5}{\z@}{-6\p@\@plus-1.8\p@
+ \@minus-.9\p@}{-.5em}{\xONxii\itshape}{#1.}}
+\def\acknowledgments{\@startsection{subparagraph}{6}{\z@}{-24\p@\@plus-3.6\p@
+ \@minus-1.8\p@}{-.5em}{\xONxii\itshape}*{Acknowledgments:\/}}
+%
+% equations
+%
+\@addtoreset{equation}{chapter}
+\renewcommand\theequation{\ifnum\c@chapter>\z@\thechapter.\fi\@arabic
+ \c@equation}
+%
+% feetnote
+%
+\@addtoreset{footnote}{chapter}
+\newcommand\@makefntext[1]{\parindent\@ne em\noindent\hb@xt@1.8em{\hss
+\renewcommand\footnoterule{\kern-6.5\p@\hrule\@width5pc height.5\p@\vskip6\p@}
+ \@makefnmark}#1}
+%
+% Figures and Tables
+%
+\newcommand\figurename{Figure}
+\newcounter{figure}[chapter]
+\renewcommand\thefigure{\ifnum\c@chapter>\z@\thechapter.\fi\@arabic\c@figure}
+\def\fps@figure{tbp}
+\def\ftype@figure{1}
+\def\ext@figure{lof}
+\def\fnum@figure{\small\uppercase{\figurename}~\thefigure}
+\newenvironment{figure}{\@float{figure}}{\end@float}
+\newenvironment{figure*}{\@float{figure}}{\end@float}
+\newenvironment{table*}{\@float{table}}{\end@float}
+\newcommand\tablename{Table}
+\newcounter{table}[chapter]
+\renewcommand\thetable{\ifnum\c@chapter>\z@\thechapter.\fi\@arabic\c@table}
+\def\fps@table{tbp}
+\def\ftype@table{2}
+\def\ext@table{lot}
+\def\fnum@table{\small\uppercase{\tablename}~\thetable}
+\newenvironment{table}{\@float{table}}{\end@float}
+\newlength\abovecaptionskip
+\newlength\belowcaptionskip
+\setlength\abovecaptionskip{6\p@}
+\setlength\belowcaptionskip{\z@skip}
+\long\def\@makecaption#1#2{{%
+ \vskip\abovecaptionskip
+ \small
+ \sbox\@tempboxa{#1. #2}%
+ \ifdim\wd\@tempboxa>\hsize
+ \unhbox\@tempboxa\hfil\par
+ \else
+ \global\@minipagefalse
+ \hb@xt@\hsize{\hfil\box\@tempboxa\hfil}%
+ \fi
+ \vskip\belowcaptionskip}}
+%
+% Font commands
+%
+\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}
+%
+% In case book.sty has been used
+%
+\newif\if@mainmatter \@mainmattertrue
+\newcommand\frontmatter{\cleardoublepage\@mainmatterfalse\pagenumbering
+ {roman}}
+\newcommand\mainmatter{\cleardoublepage\@mainmattertrue\pagenumbering{arabic}}
+\newcommand\backmatter{\cleardoublepage\@mainmatterfalse}
+%
+% Last words ...
+%
+\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}
+\catcode`\^^Z 10
+\@twosidetrue
+\pagenumbering{roman}
+\flushbottom
+\onecolumn
+\frenchspacing
+\endinput
+ \ No newline at end of file
diff --git a/Master/texmf-dist/doc/latex/mil3/template.bib b/Master/texmf-dist/doc/latex/mil3/template.bib
new file mode 100644
index 00000000000..0c5a65245e2
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/template.bib
@@ -0,0 +1,155 @@
+% Sample file: template.bib
+% bibliographic template file
+% Delete comments from this file
+
+
+@ARTICLE(eM57,
+ author = "Ernest~T. Moynahan",
+ title = "On a Problem of {M. Stone}",
+ journal = "Acta Math. Acad. Sci. Hungar.",
+ pages = "455--460",
+ volume = 8,
+ year = 1957,
+ )
+
+@ARTICLE(eM57a,
+ author = "Ernest~T. Moynahan",
+ title = "On a problem of {M. Stone}",
+ journal = "Acta Math. Acad. Sci. Hungar.",
+ pages = "455--460",
+ volume = 8,
+ year = 1957,
+ month = feb,
+ note = "Russian translation available",
+ language = "English",
+ )
+
+@BOOK(gM68,
+ author = "George~A. Menuhin",
+ title = "Universal Algebra",
+ publisher = "D.~van Nostrand",
+ address = "Princeton",
+ year = 1968,
+ )
+
+@BOOK(gM68a,
+ author = "George~A. Menuhin",
+ title = "Universal Algebra",
+ publisher = "D.~van Nostrand",
+ address = "Princeton",
+ year = 1968,
+ series = "University Series in Higher Mathematics",
+ volume = 58,
+ edition = "Second",
+ month = "March",
+ note = "no Russian translation",
+ language = "English",
+ )
+
+@BOOK(rP68,
+ editor = "R. S. Prescott",
+ title = "Universal Algebra",
+ publisher = "D.~van Nostrand",
+ address = "Princeton",
+ year = 1968,
+ )
+
+@INPROCEEDINGS(pK69,
+ author = "Peter~A. Konig",
+ title = "Composition of Functions",
+ booktitle = "Proceedings of the Conference on
+ Universal Algebra",
+ year = 1970,
+ )
+
+@INPROCEEDINGS(pK69a,
+ author = "Peter~A. Konig",
+ title = "Composition of Functions",
+ booktitle = "Proceedings of the Conference on
+ Universal Algebra",
+ publisher = "Queen's Univ., Kingston ON",
+ organization = "Canadian Mathematical Society",
+ editor = "G.H. Birnbaum",
+ pages = "1--106",
+ volume = 7,
+ year = 1970,
+ month = dec,
+ note = "available from the Montreal office",
+ language = "English",
+ )
+
+@INCOLLECTION(hA70,
+ author = "Henry~H. Albert",
+ title = "Free Torsoids",
+ booktitle = "Current Trends in Lattice Theory",
+ publisher = "D.~van Nostrand",
+ year = 1970,
+ )
+
+@INCOLLECTION(hA70a,
+ author = "Henry~H. Albert",
+ editor = "G.H. Birnbaum",
+ chapter = "Third",
+ title = "Free Torsoids",
+ booktitle = "Current Trends in Lattice Theory",
+ publisher = "D.~van Nostrand, Princeton",
+ language = "German",
+ pages = "173--215",
+ volume = 7,
+ year = 1970,
+ month = jan,
+ note = "first volume of the series ``Current Trends''",
+ )
+
+@PHDTHESIS(sF90,
+ author = "Soo-Key Foo",
+ title = "Lattice Constructions",
+ school = "University of Winnebago",
+ year = 1990,
+ )
+
+@PHDTHESIS(sF90a,
+ author = "Soo-Key Foo",
+ title = "Lattice constructions",
+ school = "University of Winnebago",
+ address = "Winnebago, MN",
+ year = 1990,
+ month = dec,
+ note = "final revision not yet available",
+ language = "Chinese",
+ )
+
+@TECHREPORT(gF86,
+ author = "Grant~H. Foster",
+ title = "Computational Complexity in Lattice Theory",
+ institution = "Carnegie Mellon University",
+ year = 1986,
+ )
+
+@TECHREPORT(gF86a,
+ author = "Grant~H. Foster",
+ title = "Computational Complexity in Lattice Theory",
+ institution = "Carnegie Mellon University",
+ year = 1986,
+ type = "Research Note",
+ address = "Pittsburgh, PA",
+ number = "128A",
+ month = dec,
+ note = "research article in preparation",
+ language = "English",
+ )
+
+@UNPUBLISHED(wL75,
+ author = "William~A. Landau",
+ title = "Representations of Complete Lattices",
+ note = "Abstract: Notices Amer. Math. Soc. \textbf{18}, 937",
+ )
+
+@UNPUBLISHED(wL75a,
+ author = "William~A. Landau",
+ title = "Representations of Complete Lattices",
+ year = 1975,
+ note = "Abstract: Notices Amer. Math. Soc. \textbf{18}, 937",
+ month = dec,
+ language = "English",
+ )
diff --git a/Master/texmf-dist/doc/latex/mil3/textenv.tpl b/Master/texmf-dist/doc/latex/mil3/textenv.tpl
new file mode 100644
index 00000000000..d8be2e806bc
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/textenv.tpl
@@ -0,0 +1,536 @@
+% Sample file: textenv.tpl template file
+
+% 3.1 List environments
+
+% 3.1.1 Numbered lists: enumerate
+
+\noindent This space has the following properties:
+\begin{enumerate}
+ \item Grade 2 Cantor\label{Cantor}
+ \item Half-smooth Hausdorff\label{Hausdorff}
+ \item Metrizably smooth\label{smooth}
+\end{enumerate}
+Therefore, we can apply the Main Theorem \ldots
+
+% 3.1.2 Bulleted lists: itemize
+
+\noindent In this lecture, we set out to accomplish a variety
+of goals:
+\begin{itemize}
+ \item To introduce the concept of smooth functions
+ \item To show their usefulness in the differentiation
+ of Howard-type functions
+ \item To point out the efficacy of using smooth functions
+ in Advanced Calculus courses
+\end{itemize}
+
+% 3.1.3 Captioned lists: description
+
+In this introduction, we outline the history of this concept.
+The main contributors were:
+\begin{description}
+ \item[J. Perelman,] the first to introduce smooth functions.
+ \item[T. Kov\'acs,] who showed their usefulness in the
+ differentiation of Howard-type functions.
+ \item[A.P. Fein,] the main advocate of using smooth
+ functions in Advanced Calculus courses.
+\end{description}
+In addition to these mathematicians \ldots
+
+% 3.1.4 Rule and combinations
+
+\begin{enumerate}
+ \item First item of Level 1.
+ \begin{enumerate}
+ \item First item of Level 2.
+ \begin{enumerate}
+ \item First item of Level 3.
+ \begin{enumerate}
+ \item First item of Level 4.\label{level4}
+ \item Second item of Level 4.
+ \end{enumerate}
+ \item Second item of Level 3.
+ \end{enumerate}
+ \item Second item of Level 2.
+ \end{enumerate}
+ \item Second item of Level 1.
+\end{enumerate}
+Referencing the first item of Level 4: \ref{level4}
+
+\begin{enumerate}
+ \item First item of Level 1.
+ \begin{itemize}
+ \item First item of Level 2.
+ \begin{enumerate}
+ \item First item of Level 3.
+ \begin{itemize}
+ \item First item of Level 4.\label{enums}
+ \item Second item of Level 4.
+ \end{itemize}
+ \item Second item of Level 3.
+ \end{enumerate}
+ \item Second item of Level 2.
+ \end{itemize}
+ \item Second item of Level 1.
+\end{enumerate}
+Referencing the first item of Level 4: \ref{enums}
+
+% 3.2 Tabbing environment
+
+\begin{tabbing}
+ Print\= Time\\
+ \>Block\=[\{timing\},\\
+ \>\>timing = Timing[expr];\\
+ (careful with initalization)\kill
+ \>\>Print[ timing[[1]] ];\\
+ \>]\\
+ End[\,]
+\end{tabbing}
+
+\begin{tabbing}
+ \hspace*{.25in}\=\hspace{2ex}\=\hspace{2ex}\=\hspace{2ex}\kill
+ \> $k := 1$ \\
+ \> $l_k := 0$; $r_k := 1$ \\
+ \> \texttt{loop} \\
+ \> \> $m_k := (l_k + r_k)/2$ \\
+ \> \> \texttt{if} $w < m_k$ \texttt{then} \\
+ \> \> \> $b_k := 0$; $r_k := m_k$ \\
+ \> \> \texttt{else if} $w > m_k$ \texttt{then} \\
+ \> \> \> $b_k := 1$; $l_k := m_k$ \\
+ \> \> \texttt{end if} \\
+ \> \> $k := k + 1$ \\
+ \> \texttt{end loop}
+\end{tabbing}
+
+\begin{tabbing}
+ This is short.\=\\
+ This is much longer, \> and jumps back.
+\end{tabbing}
+
+% 3.3 Miscellaneous displayed text environments
+
+\begin{quote}
+ It's not that I'm afraid to die. I just don't want to be
+ there when it happens.
+ \emph{Woody Allen}
+
+ Literature is news that STAYS news. \emph{Ezra Pound}
+\end{quote}
+
+\begin{quotation}
+ KATH: Can he be present at the birth of his child?
+
+ ED: It's all any reasonable child can expect if the dad
+ is present at the conception.
+ \begin{flushright}
+ \emph{Joe Orton}
+ \end{flushright}
+\end{quotation}
+
+\begin{verse}
+ I think that I shall never see\\
+ A poem as lovely as a tree.
+
+ Poems are made by fools like me,\\
+ But only God can make a tree.
+
+ \begin{flushright}
+ \emph{Joyce Kilmer}
+ \end{flushright}
+\end{verse}
+
+\begin{verbatim}
+Formula (2) in section 3 should be typed as follows:
+\begin{equation}
+ D^{\langle 2 \rangle} = \{\, \langle x_0, x_1 \rangle
+ \mid x_0, x_1 \in D,\ x_0 = 0 \Rightarrow x_1 = 0 \,\}.
+\end{equation}
+Please make the corrections.
+\end{verbatim}
+
+Some European e-mail addresses contain \texttt{\%};
+recall that you have to type \verb+\%+ to get \texttt{\%}.
+
+% 3.4 Proclamations (theorem-like structures)
+
+\begin{definition}\label{D:prime}
+ \begin{enumerate}
+ \item $u$ is \emph{meet-irreducible} if
+ $u = x \wedge y$ implies that
+ $u = x$ or $u = x$.\label{mi1}
+ \item $u$ is \emph{meet-irreducible} if
+ $u = x \wedge y$ implies that
+ $u = x$ or $u = x$.\label{mi2}
+ \item $u$ is \emph{completely join-irreducible} if
+ $u = \bigvee X$ implies that $u \in X$.
+ \label{mi3}
+ \end{enumerate}
+\end{definition}
+
+% Consecutive numbering
+
+\newtheorem{lemma}{Lemma}
+\newtheorem{proposition}[lemma]{Proposition}
+
+% Numbering within a section
+
+\newtheorem{lemma}{Lemma}[section]
+
+\newtheorem{lemma}{Lemma}[section]
+\newtheorem{proposition}[lemma]{Proposition}
+
+% 3.4.1 The full syntax
+
+\newtheorem}{envname}[procCounter]{Name}[secCounter]
+
+% 3.4.2 Proclamations with style
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\newtheorem{corollary}{Corollary}
+\newtheorem*{main}{Main Theorem}
+\newtheorem{lemma}{Lemma}
+\newtheorem{proposition}{Proposition}
+
+\theoremstyle{definition}
+\newtheorem{definition}{Definition}
+
+\theoremstyle{remark}
+\newtheorem*{notation}{Notation}
+
+% Five examples
+
+% Example 1
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\newtheorem{lemma}{Lemma}
+\newtheorem{definition}{Definition}
+
+Example 2
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\newtheorem{lemma}[theorem]{Lemma}
+\newtheorem{definition}[theorem]{Definition}
+\newtheorem{corollary}[theorem]{Corollary}
+
+Example 3
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\newtheorem{proposition}{Proposition}[section]
+\newtheorem{lemma}[proposition]{Lemma}
+\newtheorem{definition}{Definition}
+
+\theoremstyle{definition}
+\newtheorem*{notation}{Notation}
+
+Example 4
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\newtheorem*{main}{Main Theorem}
+\newtheorem{definition}{Definition}[section]
+\newtheorem{lemma}[definition]{Lemma}
+
+\theoremstyle{definition}
+\newtheorem*{Rule}{Rule}
+
+Example 5
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\newtheorem{corollary}{Corollary}
+\newtheorem*{main}{Main Theorem}
+\newtheorem{lemma}{Lemma}
+\newtheorem{proposition}{Proposition}
+
+\theoremstyle{definition}
+\newtheorem{definition}{Definition}
+
+\theoremstyle{remark}
+\newtheorem*{notation}{Notation}
+
+Exercises
+
+\theoremstyle{definition}
+\newtheorem{xca}{Exercise}
+
+\begin{xca}
+Prove that if $\inf H$ exists for all nonempty subsets $H$ of a
+poset $P$, then $\sup \varnothing$ also exists in~$P$.
+\end{xca}
+
+\begin{xcb}{Exercises}
+\begin{enumerate}
+\item A finite lattice $L$ is modular if{f} it does not
+contain a pentagon.\label{E:pentagon}
+\item Can the numbers of covering pairs in
+Exercise~\ref{E:pentagon} be increased?\label{E:increased}
+\end{enumerate}
+\end{xcb}
+
+% 3.5 Proof environment
+
+\begin{proof}
+ This is the proof, delimited by the q.e.d. symbol.
+\end{proof}
+
+\begin{proof}[Necessity]
+ This is the proof of necessity.
+\end{proof}
+
+\begin{proof}
+Now the proof follows from the equation
+\[
+ a^2 = b^2 + c^2.\qedhere
+\]
+\end{proof}
+
+
+% 3.7 Tabular environment
+
+\begin{tabular}{ | l | r | r | r | }
+ \hline
+ Name & 1 & 2 & 3 \\ \hline
+ Peter & 2.45 & 34.12 & 1.00\\ \hline
+ John & 0.00 & 12.89 & 3.71\\ \hline
+ David & 2.00 & 1.85 & 0.71\\ \hline
+\end{tabular}
+
+\begin{table}
+ \begin{center}
+ \begin{tabular}{ || l | r | r | r || }
+ \hline
+ Name & 1 & 2 & 3 \\ \hline
+ Peter & 2.45 & 34.12 & 1.00\\ \hline
+ John & 0.00 & 12.89 & 3.71\\ \hline
+ David & 2.00 & 1.85 & 0.71\\ \hline
+ \end{tabular}
+ \caption{Tabular table}\label{Ta:first}
+ \end{center}
+\end{table}
+
+\begin{tabular}{r||l|l|l|l|l|l|l|l|l|l|} \hline \hline
+ & 0 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9\\\hline
+
+0& \symbol{0} &\symbol{1}&\symbol{2}&\symbol{3}&
+\symbol{4}&\symbol{5}&\symbol{6}&\symbol{7}&
+\symbol{8}&\symbol{9}\\ \hline
+
+.........
+
+120& \symbol{120} &\symbol{121}&\symbol{122}&\symbol{123}&
+\symbol{124}&\symbol{125}&\symbol{126}&\symbol{127} & & \\ \hline
+\end{tabular}
+
+% More column formatting commands
+
+\begin{tabular}{r @{.} l}
+ 3&78\\
+ 4&261\\
+ 4
+\end{tabular}
+
+\begin{tabular}{ || p{1in} | r | r | r || }\hline
+ Name & 1 & 2 & 3 \\ \hline
+ Peter & 2.45 & 34.12 & 1.00\\ \hline
+ John & 0.00 & 12.89 & 3.71\\ \hline
+ David & 2.00 & 1.85 & 0.71\\ \hline
+\end{tabular}
+
+% Refinements
+
+\begin{table}
+ \begin{center}
+ \begin{tabular}{ || l | r | r | r || } \hline
+ Name & 1 & 2 & 3\\ \hline
+ Peter & 2.45 & 34.12 & 1.00\\ \hline
+ John & \multicolumn{3}{c ||}{\emph{absent}}\\ \hline
+ David & 2.00 & 1.85 & 0.71\\ \hline
+ \end{tabular}
+ \caption{Floating table with
+ $\backslash$\texttt{multicolumn}}
+ \label{Ta:cline}
+ \end{center}
+\end{table}
+
+\begin{table}
+ \begin{center}
+ \begin{tabular}{ || c c | c | r || } \hline
+ Name & Month & Week & Amount\\ \hline
+ Peter & Jan. & 1 & 1.00\\ \cline{3-4}
+ & & 2 & 12.78\\ \cline{3-4}
+ & & 3 & 0.71\\ \cline{3-4}
+ & & 4 & 15.00\\ \cline{2-4}
+ & \multicolumn{2}{| l}{Total: } & 29.49\\ \hline
+ John & Jan. & 1 & 12.01\\ \cline{3-4}
+ & & 2 & 3.10\\ \cline{3-4}
+ & & 3 & 10.10\\ \cline{3-4}
+ & & 4 & 0.00\\ \cline{2-4}
+ & \multicolumn{2}{| l}{Total: } & 25.21\\ \hline
+ \multicolumn{3}{|| l}{Grand Total:} & 54.70\\ \hline
+ \end{tabular}
+ \caption{Floating table with
+ $\backslash$\texttt{multicolumn} and
+ $\backslash$\texttt{cline}}
+ \label{Ta:multicol}
+ \end{center}
+\end{table}
+
+\begin{center}
+ \begin{tabular}{ | r | c | c | } \hline
+ & \textbf{Area} & \textbf{Students}\\ \hline
+ \textbf{5th Grade}: & 63.4 \mbox{m$^{2}$} & 22\\ \hline
+ \textbf{6th Grade}: & 62.0 \mbox{m$^{2}$} & 19 \\ \hline
+ \textbf{Overall}: & 62.6 \mbox{m$^{2}$} & 20\\ \hline
+ \end{tabular}
+\end{center}
+
+% Style and size environments
+
+\begin{flushright}
+ The \begin{bfseries}simplest\end{bfseries}
+ text environments set the
+ printing style and size.\\
+ The commands and the environments have similar names.
+
+\end{flushright}
+
+% 9.6 Custom lists
+
+% 9.6.2 The list environment
+
+\noindent Here are the most important \LaTeX\ rules about
+spaces in text, sentences, and paragraphs:
+\begin{list}{$\diamondsuit$}{\setlength{\leftmargin}{.5in}
+ \setlength{\rightmargin}{.5in}}
+ \item \textbf{Rule 1:} Two or more spaces in text are
+ the same as one.
+ \item \textbf{Rule 2:} A blank line (that is, two end-of-line
+ characters separated only by blanks and tabs) indicates
+ the end of a paragraph.
+\end{list}
+Rules 1 and~2 make typing and copying very convenient.
+
+\noindent Here are the most important \LaTeX\ rules about
+spaces in text, sentences, and paragraphs:
+\begin{list}{}{\setlength{\leftmargin}{.5in}
+ \setlength{\rightmargin}{.5in}}
+ \item[\textbf{Rule 1:}] Two or more spaces in text are
+ the same as one.
+ \item[\textbf{Rule 2:}] A blank line (that is, two
+ end-of-line characters separated only by blanks and tabs)
+ indicates the end of a paragraph.
+\end{list}
+Rules 1 and~2 make typing and copying very convenient.
+
+% Using counters
+
+Here are the most important \LaTeX\ rules about spaces in text,
+sentences, and paragraphs:
+\newcounter{spacerule}
+\begin{list}{\textbf{Rule \arabic{spacerule}:}}
+ {\setlength{\leftmargin}{.5in}
+ \setlength{\rightmargin}{.5in}
+ \usecounter{spacerule}}
+\item Two or more spaces in text are
+the same as one.
+\item A blank line (that is, two end-of-line
+characters separated only by blanks and tabs) indicates the end
+of a paragraph.
+ \end{list}
+Rules~1 and 2 make typing and copying very convenient.
+
+% 9.6.3 Two complete examples
+
+% Example 1
+
+Here are the most important \LaTeX\ rules about spaces in text,
+sentences, and paragraphs:
+\newcounter{spacerule}
+\begin{list}{\upshape \bfseries Rule \arabic{spacerule}:}
+ {\setlength{\leftmargin}{1.5in}
+ \setlength{\rightmargin}{.6in}
+ \setlength{\labelwidth}{1.0in}
+ \setlength{\labelsep}{.2in}
+ \setlength{\parsep}{0.5ex plus 0.2ex minus 0.1ex}
+ \setlength{\itemsep}{0ex plus 0.2ex minus 0ex}
+ \usecounter{spacerule}
+ \itshape}
+\item Two or more spaces in text are the same as one.
+\item A blank line (that is, two end-of-line characters
+separated only by blanks and tabs) indicates the end
+of a paragraph.
+\end{list}
+Rules~1 and 2 make typing and copying very convenient.
+
+\newenvironment{myrules}
+ {\begin{list}
+ {\upshape \bfseries Rule \arabic{spacerule}:}
+ {\setlength{\leftmargin}{1.5in}
+ \setlength{\rightmargin}{.6in}
+ \setlength{\labelwidth}{1.0in}
+ \setlength{\labelsep}{.2in}
+ \setlength{\parsep}{0.5ex plus 0.2ex minus 0.1ex}
+ \setlength{\itemsep}{0ex plus 0.2ex minus 0ex}
+ \usecounter{spacerule}
+ \itshape} }
+ {\end{list}}
+
+% Example 2
+
+\begin{list}{}
+ {\setlength{\leftmargin}{30pt}
+ \setlength{\rightmargin}{0pt}
+ \setlength{\itemindent}{14pt}
+ \setlength{\labelwidth}{40pt}
+ \setlength{\labelsep}{5pt}
+ \setlength{\parsep}{0.5ex plus 0.2ex minus 0.1ex}
+ \setlength{\itemsep}{0ex plus 0.2ex minus 0ex}}
+ \item[\textbf{sentence}\hfill] is a group of words terminated
+ by a period, exclamation point, or question mark.
+ \item[\textbf{paragraph}\hfill] is a group of sentences
+ terminated by a blank line or by the \com{par} command.
+\end{list}
+
+% 9.7 Custom formats
+
+\input tmplatex.ltx
+\documentclass{article}
+\usepackage{amssymb,latexsym,amsmath}
+\dump
+\end{verbatim}
+On the other hand, the
+\doc{sampartu.tex}\amssamplefileindex{sampartu.tex} article is a
+little more complex:
+\begin{verbatim}
+\input tmplatex.ltx
+\documentclass{amsart}
+\usepackage{amssymb,latexsym}
+\usepackage{lattice}
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}
+\newtheorem{corollary}{Corollary}
+\newtheorem{lemma}{Lemma}
+\newtheorem{proposition}{Proposition}
+
+\theoremstyle{definition}
+\newtheorem{definition}{Definition}
+
+\theoremstyle{remark}
+\newtheorem*{notation}{Notation}
+
+\numberwithin{equation}{section}
+
+\newcommand{\Prodm}[2]{\gP(\,#1\mid#2\,)}
+ % product with a middle
+\newcommand{\Prodsm}[2]{\gP^{*}(\,#1\mid#2\,)}
+ % product * with a middle
+\newcommand{\vct}[2]{\vv<\dots,0,\dots,\overset{#1}{#2},%
+\dots,0,\dots>}% special vector
+\newcommand{\fp}{\F{p}}% Fraktur p
+\newcommand{\Ds}{D^{\langle2\rangle}}
+\dump
diff --git a/Master/texmf-dist/doc/latex/mil3/topmat.tpl b/Master/texmf-dist/doc/latex/mil3/topmat.tpl
new file mode 100644
index 00000000000..cd258997649
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mil3/topmat.tpl
@@ -0,0 +1,153 @@
+% Sample file: topmat.tpl template file
+
+% 8.2.5 Examples
+
+
+% Example 1 One author
+
+% Article info
+\title[``Complete-simple'' distributive lattices]%
+ {A construction of ``complete-simple''\\
+ distributive lattices}
+\date{\today}
+
+% Author info
+\author{George~A. Menuhin}
+\address{Computer Science Department\\
+ University of Winnebago\\
+ Winnebago, MN 53714}
+\email{gmen@ccw.uwinnebago.edu}
+\urladdr{http://math.uwinnebago.edu/homepages/menuhin/}
+\thanks{This research was supported by
+ the NSF under grant number 23466.}
+
+% AMS info
+\keywords{Complete lattice, distributive lattice,
+ complete congruence, congruence lattice}
+\subjclass[2000]{Primary: 06B10; Secondary: 06D05}
+
+% Abstract
+\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}
+
+% Example 2 Two authors
+
+% Article info
+\title[``Complete-simple'' distributive lattices]%
+ {A construction of ``complete-simple''\\
+ distributive lattices}
+\date{\today}
+
+% Author info
+\author{George~A. Menuhin}
+\address{Computer Science Department\\
+ University of Winnebago\\
+ Winnebago, MN 53714}
+\email{gmen@ccw.uwinnebago.edu}
+\thanks{The research of the first author was
+ supported by the NSF under grant number 23466.}
+\author{Ernest~T. Moynahan}
+\address{Mathematical Research Institute\\
+ of the Hungarian Academy of Sciences\\
+ Budapest, P.O.B. 127, H-1364\\
+ Hungary}
+\email{h1175moy\%ella@relay.eu.net}
+\urladdr{http://math.uwinnebago.edu/homepages/menuhin/}
+\thanks{The research of the second author
+ was supported in part by the Hungarian National
+ Foundation for Scientific Research, under Grant No. 9901.}
+
+% AMS info
+\keywords{Complete lattice, distributive lattice,
+ complete congruence, congruence lattice}
+\subjclass[2000]{Primary: 06B10; Secondary: 06D05}
+
+% Abstract
+\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}
+
+% Example 3 Two authors, same department.
+
+% Article info
+\title[``Complete-simple'' distributive lattices]%
+ {A construction of ``complete-simple''\\
+ distributive lattices}
+\date{\today}
+
+% Author info
+\author{George~A. Menuhin}
+\address{Computer Science Department\\
+ University of Winnebago\\
+ Winnebago, MN 23714}
+\email[George~A. Menuhin]{gmen@ccw.uwinnebago.edu}
+\urladdr{http://math.uwinnebago.edu/homepages/menuhin/}
+\thanks{The research of the first author was
+ supported by the NSF under grant number 23466}
+\author{Ernest~T. Moynahan}
+\email[Ernest~T. Moynahan]{emoy@ccw.uwinnebago.edu}
+\thanks{The research of the second author
+ was supported in part by the Hungarian National
+ Foundation for Scientific Research, under Grant No. 9901}
+
+% AMS info
+\keywords{Complete lattice, distributive lattice,
+ complete congruence, congruence lattice}
+\subjclass[2000]{Primary: 06B10; Secondary: 06D05}
+
+% Abstract
+\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}
+
+Example 4 Three authors
+
+% Article info
+\title[``Complete-simple'' distributive lattices]%
+ {A construction of ``complete-simple''\\
+ distributive lattices}
+\date{\today}
+
+% Author information
+\author{George~A. Menuhin}
+\address[George~A. Menuhin and Ernest~T. Moynahan]
+ {Computer Science Department\\
+ University of Winnebago\\
+ Winnebago, MN 53714}
+\email[George~A. Menuhin]{gmen@ccw.uwinnebago.edu}
+\urladdr[George~A. Menuhin]%
+ {http://math.uwinnebago.ca/homepages/menuhin/}
+\thanks{The research of the first author was
+ supported by the NSF under grant number 23466.}
+\author{Ernest~T. Moynahan}
+\email[Ernest~T. Moynahan]{emoy@ccw.uwinnebago.edu}
+\thanks{The research of the second author was supported by
+ the Hungarian National Foundation for Scientific
+ Research, under Grant No. 9901.}
+\author{Ferenc~R. Richardson}
+\address[Ferenc~R. Richardson]
+ {Department of Mathematics\\
+ California United Colleges\\
+ Frasco, CA 23714}
+\email[Ferenc~R. Richardson]{frich@ccu.frasco.edu}
+\thanks{The research of the third author was
+ supported by the NSF under grant number 23466.}
+
+% AMS info
+\keywords{Complete lattice, distributive lattice,
+ complete congruence, congruence lattice}
+\subjclass[2000]{Primary: 06B10; Secondary: 06D05}
+
+% Abstract
+\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} \ No newline at end of file