From 30d256e4604f952b131c264cea550c26adcf1846 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Thu, 12 Jan 2017 23:14:39 +0000 Subject: rm mil3, now have math-into-latex-4 git-svn-id: svn://tug.org/texlive/trunk@42934 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/mil3/README | 8 - Master/texmf-dist/doc/latex/mil3/ams-alph.bst | 1384 --------------------- Master/texmf-dist/doc/latex/mil3/ams-pln.bst | 1244 ------------------ Master/texmf-dist/doc/latex/mil3/amsart.tpl | 187 --- Master/texmf-dist/doc/latex/mil3/article.tpl | 92 -- Master/texmf-dist/doc/latex/mil3/article2.tpl | 97 -- Master/texmf-dist/doc/latex/mil3/contents | 43 - Master/texmf-dist/doc/latex/mil3/fonttbl.tex | 142 --- Master/texmf-dist/doc/latex/mil3/gallery.tex | 263 ---- Master/texmf-dist/doc/latex/mil3/german.tex | 14 - Master/texmf-dist/doc/latex/mil3/ggamsart.tpl | 113 -- Master/texmf-dist/doc/latex/mil3/ggart.tpl | 97 -- Master/texmf-dist/doc/latex/mil3/ggart2.tpl | 101 -- Master/texmf-dist/doc/latex/mil3/gratzer | 7 - Master/texmf-dist/doc/latex/mil3/inbibl.tpl | 74 -- Master/texmf-dist/doc/latex/mil3/intrart.tex | 127 -- Master/texmf-dist/doc/latex/mil3/intrarti.tex | 142 --- Master/texmf-dist/doc/latex/mil3/lattice.sty | 134 -- Master/texmf-dist/doc/latex/mil3/letter.tex | 28 - Master/texmf-dist/doc/latex/mil3/master.tex | 27 - Master/texmf-dist/doc/latex/mil3/math.tex | 21 - Master/texmf-dist/doc/latex/mil3/mathb.tex | 24 - Master/texmf-dist/doc/latex/mil3/multline.tpl | 495 -------- Master/texmf-dist/doc/latex/mil3/note1.tex | 22 - Master/texmf-dist/doc/latex/mil3/note1b.tex | 22 - Master/texmf-dist/doc/latex/mil3/note2.tex | 14 - Master/texmf-dist/doc/latex/mil3/noteslug.tex | 22 - Master/texmf-dist/doc/latex/mil3/sampart.tex | 262 ---- Master/texmf-dist/doc/latex/mil3/sampartb.bib | 45 - Master/texmf-dist/doc/latex/mil3/sampartb.tex | 236 ---- Master/texmf-dist/doc/latex/mil3/sampartu.tex | 259 ---- Master/texmf-dist/doc/latex/mil3/sample.html | 24 - Master/texmf-dist/doc/latex/mil3/svsing2e.sty | 295 ----- Master/texmf-dist/doc/latex/mil3/svsing6.cls | 663 ---------- Master/texmf-dist/doc/latex/mil3/template.bib | 155 --- Master/texmf-dist/doc/latex/mil3/textenv.tpl | 536 -------- Master/texmf-dist/doc/latex/mil3/topmat.tpl | 153 --- Master/tlpkg/bin/tlpkg-ctan-check | 2 +- Master/tlpkg/tlpsrc/collection-langenglish.tlpsrc | 1 - Master/tlpkg/tlpsrc/mil3.tlpsrc | 0 40 files changed, 1 insertion(+), 7574 deletions(-) delete mode 100644 Master/texmf-dist/doc/latex/mil3/README delete mode 100644 Master/texmf-dist/doc/latex/mil3/ams-alph.bst delete mode 100644 Master/texmf-dist/doc/latex/mil3/ams-pln.bst delete mode 100644 Master/texmf-dist/doc/latex/mil3/amsart.tpl delete mode 100644 Master/texmf-dist/doc/latex/mil3/article.tpl delete mode 100644 Master/texmf-dist/doc/latex/mil3/article2.tpl delete mode 100644 Master/texmf-dist/doc/latex/mil3/contents delete mode 100644 Master/texmf-dist/doc/latex/mil3/fonttbl.tex delete mode 100644 Master/texmf-dist/doc/latex/mil3/gallery.tex delete mode 100644 Master/texmf-dist/doc/latex/mil3/german.tex delete mode 100644 Master/texmf-dist/doc/latex/mil3/ggamsart.tpl delete mode 100644 Master/texmf-dist/doc/latex/mil3/ggart.tpl delete mode 100644 Master/texmf-dist/doc/latex/mil3/ggart2.tpl delete mode 100644 Master/texmf-dist/doc/latex/mil3/gratzer delete mode 100644 Master/texmf-dist/doc/latex/mil3/inbibl.tpl delete mode 100644 Master/texmf-dist/doc/latex/mil3/intrart.tex delete mode 100644 Master/texmf-dist/doc/latex/mil3/intrarti.tex delete mode 100644 Master/texmf-dist/doc/latex/mil3/lattice.sty delete mode 100644 Master/texmf-dist/doc/latex/mil3/letter.tex delete mode 100644 Master/texmf-dist/doc/latex/mil3/master.tex delete mode 100644 Master/texmf-dist/doc/latex/mil3/math.tex delete mode 100644 Master/texmf-dist/doc/latex/mil3/mathb.tex delete mode 100644 Master/texmf-dist/doc/latex/mil3/multline.tpl delete mode 100644 Master/texmf-dist/doc/latex/mil3/note1.tex delete mode 100644 Master/texmf-dist/doc/latex/mil3/note1b.tex delete mode 100644 Master/texmf-dist/doc/latex/mil3/note2.tex delete mode 100644 Master/texmf-dist/doc/latex/mil3/noteslug.tex delete mode 100644 Master/texmf-dist/doc/latex/mil3/sampart.tex delete mode 100644 Master/texmf-dist/doc/latex/mil3/sampartb.bib delete mode 100644 Master/texmf-dist/doc/latex/mil3/sampartb.tex delete mode 100644 Master/texmf-dist/doc/latex/mil3/sampartu.tex delete mode 100644 Master/texmf-dist/doc/latex/mil3/sample.html delete mode 100644 Master/texmf-dist/doc/latex/mil3/svsing2e.sty delete mode 100644 Master/texmf-dist/doc/latex/mil3/svsing6.cls delete mode 100644 Master/texmf-dist/doc/latex/mil3/template.bib delete mode 100644 Master/texmf-dist/doc/latex/mil3/textenv.tpl delete mode 100644 Master/texmf-dist/doc/latex/mil3/topmat.tpl delete mode 100644 Master/tlpkg/tlpsrc/mil3.tlpsrc (limited to 'Master') 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$ 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 can do math (a little) - - -

A simple example -

-

- Hello, new users! -

- We link to my Web site: - - Gratzer Homepage -

- And here is a list: -

- - 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 diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index 3946a1f6785..d7134b211fc 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -406,7 +406,7 @@ my @TLP_working = qw( method metre metrix mf2pt1 mfirstuc mflogo mflogo-font mfnfss mfpic mfpic4ode mftinc mgltex mhchem - mhequ miama microtype microtype-de midnight midpage mil3 miller milog + mhequ miama microtype microtype-de midnight midpage miller milog minibox minifp minipage-marginpar miniplot minitoc minorrevision minted mintspirit minutes missaali mkgrkindex mkjobtexmf mkpattern mkpic diff --git a/Master/tlpkg/tlpsrc/collection-langenglish.tlpsrc b/Master/tlpkg/tlpsrc/collection-langenglish.tlpsrc index 6eb93bc982f..7406973f357 100644 --- a/Master/tlpkg/tlpsrc/collection-langenglish.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-langenglish.tlpsrc @@ -44,7 +44,6 @@ depend maths-symbols depend memdesign depend metafont-beginners depend metapost-examples -depend mil3 depend patgen2-tutorial depend pictexsum depend plain-doc diff --git a/Master/tlpkg/tlpsrc/mil3.tlpsrc b/Master/tlpkg/tlpsrc/mil3.tlpsrc deleted file mode 100644 index e69de29bb2d..00000000000 -- cgit v1.2.3