summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2017-01-12 23:14:39 +0000
committerKarl Berry <karl@freefriends.org>2017-01-12 23:14:39 +0000
commit30d256e4604f952b131c264cea550c26adcf1846 (patch)
tree91e5333c26ed6f0d2604af80a1569add9c58cc11 /Master/texmf-dist/doc/latex
parentb5b3eefc8fb0473726a865efb286b15f48809537 (diff)
rm mil3, now have math-into-latex-4
git-svn-id: svn://tug.org/texlive/trunk@42934 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex')
-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, 0 insertions, 7572 deletions
diff --git a/Master/texmf-dist/doc/latex/mil3/README b/Master/texmf-dist/doc/latex/mil3/README
deleted file mode 100644
index f3a67546a10..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/README
+++ /dev/null
@@ -1,8 +0,0 @@
-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
deleted file mode 100644
index 88878e78adb..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/ams-alph.bst
+++ /dev/null
@@ -1,1384 +0,0 @@
-% 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
deleted file mode 100644
index 0fd06a6623d..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/ams-pln.bst
+++ /dev/null
@@ -1,1244 +0,0 @@
-% 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
deleted file mode 100644
index 22093b06205..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/amsart.tpl
+++ /dev/null
@@ -1,187 +0,0 @@
-% 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
deleted file mode 100644
index 62dd64d2f25..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/article.tpl
+++ /dev/null
@@ -1,92 +0,0 @@
-% 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
deleted file mode 100644
index 447014b8664..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/article2.tpl
+++ /dev/null
@@ -1,97 +0,0 @@
-% 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
deleted file mode 100644
index bf07a88b12f..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/contents
+++ /dev/null
@@ -1,43 +0,0 @@
-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
deleted file mode 100644
index fa9c821348b..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/fonttbl.tex
+++ /dev/null
@@ -1,142 +0,0 @@
-% 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
deleted file mode 100644
index 9bd056de146..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/gallery.tex
+++ /dev/null
@@ -1,263 +0,0 @@
-% 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
deleted file mode 100644
index a8089a6bb27..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/german.tex
+++ /dev/null
@@ -1,14 +0,0 @@
-%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
deleted file mode 100644
index 22987b91a6e..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/ggamsart.tpl
+++ /dev/null
@@ -1,113 +0,0 @@
-% 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
deleted file mode 100644
index 539084e7b5d..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/ggart.tpl
+++ /dev/null
@@ -1,97 +0,0 @@
-% 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
deleted file mode 100644
index 09350d4b0eb..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/ggart2.tpl
+++ /dev/null
@@ -1,101 +0,0 @@
-% 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
deleted file mode 100644
index 5de320e02af..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/gratzer
+++ /dev/null
@@ -1,7 +0,0 @@
-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
deleted file mode 100644
index e96bdbcc032..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/inbibl.tpl
+++ /dev/null
@@ -1,74 +0,0 @@
-% 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
deleted file mode 100644
index 724be01586c..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/intrart.tex
+++ /dev/null
@@ -1,127 +0,0 @@
-% 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
deleted file mode 100644
index ae5bc357006..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/intrarti.tex
+++ /dev/null
@@ -1,142 +0,0 @@
-% 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
deleted file mode 100644
index 14e0aea8157..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/lattice.sty
+++ /dev/null
@@ -1,134 +0,0 @@
-% 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
deleted file mode 100644
index a9202c066c5..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/letter.tex
+++ /dev/null
@@ -1,28 +0,0 @@
-% 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
deleted file mode 100644
index 94a7da5f549..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/master.tex
+++ /dev/null
@@ -1,27 +0,0 @@
-%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
deleted file mode 100644
index 49c78c2fa55..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/math.tex
+++ /dev/null
@@ -1,21 +0,0 @@
-% 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
deleted file mode 100644
index 51c0429cb25..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/mathb.tex
+++ /dev/null
@@ -1,24 +0,0 @@
-% 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
deleted file mode 100644
index 09ad30d23bc..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/multline.tpl
+++ /dev/null
@@ -1,495 +0,0 @@
-% 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
deleted file mode 100644
index e4425f67797..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/note1.tex
+++ /dev/null
@@ -1,22 +0,0 @@
-% 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
deleted file mode 100644
index 4de05f5a2b6..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/note1b.tex
+++ /dev/null
@@ -1,22 +0,0 @@
-% 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
deleted file mode 100644
index 7b218f21faf..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/note2.tex
+++ /dev/null
@@ -1,14 +0,0 @@
-% 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
deleted file mode 100644
index 04d2f46307e..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/noteslug.tex
+++ /dev/null
@@ -1,22 +0,0 @@
-% 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
deleted file mode 100644
index 70bbd3f8509..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/sampart.tex
+++ /dev/null
@@ -1,262 +0,0 @@
-% 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
deleted file mode 100644
index 2af90a95774..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/sampartb.bib
+++ /dev/null
@@ -1,45 +0,0 @@
-@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
deleted file mode 100644
index 6515da73e05..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/sampartb.tex
+++ /dev/null
@@ -1,236 +0,0 @@
-% 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
deleted file mode 100644
index 41ef8bfe5e0..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/sampartu.tex
+++ /dev/null
@@ -1,259 +0,0 @@
-% 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
deleted file mode 100644
index b4f57673df9..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/sample.html
+++ /dev/null
@@ -1,24 +0,0 @@
-<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
deleted file mode 100644
index 07e87816b50..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/svsing2e.sty
+++ /dev/null
@@ -1,295 +0,0 @@
-% 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
deleted file mode 100644
index 8fe618e3200..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/svsing6.cls
+++ /dev/null
@@ -1,663 +0,0 @@
-%%% 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
deleted file mode 100644
index 0c5a65245e2..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/template.bib
+++ /dev/null
@@ -1,155 +0,0 @@
-% 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
deleted file mode 100644
index d8be2e806bc..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/textenv.tpl
+++ /dev/null
@@ -1,536 +0,0 @@
-% 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
deleted file mode 100644
index cd258997649..00000000000
--- a/Master/texmf-dist/doc/latex/mil3/topmat.tpl
+++ /dev/null
@@ -1,153 +0,0 @@
-% 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