; TeX output 1997.03.30:1239s\ȍ88G{:!",G cmsy10AQMSDtGGcmr17-LdKGXQ cmr12AT[-E;gX7tVVersion1.21User's7tGuide,}AmericanMathematicalSoScietry-01NorvembSer1996"VVersion1.02*s\ȍ8YK`y cmr10ii#. |{Ycmr8CONTENTS8G?YN cmbx12Contents$yY"V cmbx10WhatTis` Ɍ cmbsy10A<8M lxS-L*#f$cmbx7AT<8E3sX',andwh9ywouldanyonewanttouseit?Niii L{hWhatUUis` !", cmsy10AU>'M S-L5ffٓRcmr7A͉TU>'ExX'r? ...........................LiiihWhyUUwouldaL5ffA͉TU>'ExXuserwanttobGotherwithAU>'M S-L5ffA͉TU>'ExX?ލ......LiiiyY1hHo9wTtouseA<8M lxS-L*AT<8E3sXr,1h1.1UsingUUanAMSpackqageinaL5ffA͉TU>'ExXdoGcument...........1h1.2OptionsUUforthe$'M S-L5ffA͉TU>'ExXversion1.1andAU>'M S-L5ffA͉TU>'ExXver-sionUU1.2c:................................37YEhGettingThelpn37hE.1F*urtherUUinformation .........................38YBibliograph9y T38YIndex1c40F?s\ȍ8#WHAJTXIS`K cmsy8AAMS-L#Aacmr6A TAEMX'? ײv8G#Whatis`%Ɍ cmbsy10AM )S-LAl#&2@cmbx8A~/TESX',andwhywouldanyonewanttouse#it?#WhatTis`A<8M lxS-L*AT<8E3sX'G?tY,ThenameAU>'M S-L5ffA͉TU>'ExXisusedforconveniencetodescribGeasetofloosely #related@ lesthataredistributedtogetherbytheAmericanMathematicalSoGciety*.#Basically/theymaybGedescribedasmiscellaneousenhancementstoL5ffA͉TU>'ExXfor#'': cmti10sup}'eriorA2informationstructureofmathematicaldocuments͏andnsuperiorprinted#output.1HBecauseָAU>'M S-L5ffA͉TU>'ExXisanextensionforL5ffATU>'ExX,whichinturnisa`macro#packqage'!fortheTU>'ExXtypGesettingprogram,'itfollowsthatinordertouseanyof#theUUpiecesofAU>'M S-L5ffA͉TU>'ExXyouneedtohaveTU>'ExXandL5ffA͉TU>'EXinstalled rst. 2L5ffA͉TU>'ExXbyitselfdoGesarathergoodjoboftypesettingmathematics,Scompared#tonon-TU>'ExX-basedsoftware;R itdoGesn'taddmuch,'however,tothebasicsetof#mathematicalUUcapabilitiesthatitadoptedfromthePlainTU>'ExXmacropackqage.2At=thesametimethatL5ffA͉TU>'ExXwasbGeingdevelopGedbyLeslieLampGort(roughly#1982{1986),DtheAmericanMathematicalSoGcietywasthrowingitsresourcesinto#thedevelopmentofadi erentmacropackqageknownasAU>'M S-TU>'ExX,5writtenby#MichaelSpivqak.>By1987orsoitbGecameevidentthatAU>'M S-TU>'ExXandL5ffA͉TU>'EXhad#complementaryfeaturesets:V+AU>'M S-TU>'ExXfoGcusedonthetypGesettingofmathfor-#mulasNandon ne-tuningtypicallydonebypublishers,P andwasrelativelyweak#inD@otherareas(forexamplenoautomaticnumbGeringD@orcross-referencefacili-#ties);qL5ffA͉TU>'ExX~foGcusedondocumentstructureandlogicalmarkupoftext,andhad#aAcomparativelylimitedsetoffeaturesfordealingwithmathformulacontents.#ThisRsituationledtodissatisfactionamongbGothAU>'M S-TU>'ExXandL5ffA͉TU>'EXuserswho#sawdesirablefeaturestantalizinglyoutofreachintheothermacropackqage.V`So#theEAmericanMathematicalSoGcietylookedintothequestionofproGducingsome#sortxofcombinationofthetwomacropackqagesthatwouldbGetterservemathe-#maticians-)intheirwritingtasks.dcThedecisionthatwaseventuallytakenwasto#graftythemathematicalcapabilitiesofAU>'M S-TU>'ExXontothebasestoGckofL5ffA͉TU>'ExX#throughQaanextensionpackqage:i޸AU>'M S-L5ffA͉TU>'ExX.eMostoftheprogrammingwork#was3donebyF*rankMittelbachandRainerSchopfin1989{1990andversion1.0#ofUUAU>'M S-L5ffA͉TU>'ExXwasreleasedinmid-1990.{#Wh9yTwouldaL*AT<8E3sXuserwanttobQotherwithA<8M lxS-L*AT<8E3sX?tY&IfyouarejuststartingoutasaL5ffA͉TU>'ExXuser,you'llprobablyhavetotakeour#wordUUforthis(orthewordoffriendsandcolleagues),but:2IfH"yourwritingcontainsasigni cantpropGortionofmathematics,andyou#careK abGoutthequalityoftheprintedresults,thensoGonerorlateryou'll nd#shortcomingsainstandardL5ffA͉TU>'ExXandwantatoremedythem.Chancesarethat#atleastthe rstfewoftheshortcomingsyouencounterwillbGeonesthatare#alreadyaddressedbyanAU>'M S-L5ffA͉TU>'ExXpackqage.8Ifyouwanttohavemaximum#mathematical[typGesettingpower[readyathand,]7ratherthanstoptocastaboutKҠs\ȍ8YviYWHAJTXIS`AAMS-L#A TAEMX'?8GYforasolutionwheneveryourunintosomeunusualdemandinyourwriting,ƨthen YAU>'M S-L5ffA͉TU>'ExXUUwillgoalongwayUUtowardmeetingyourneeds.hIf&youarealong-timeL5ffA͉TU>'ExXuserandhavelotsofmathematicsinwhatyouYwrite,thenyoumayrecognizesolutionsforsomefamiliarproblemsinthislistYofUUAU>'M S-L5ffA͉TU>'ExXfeatures:hrAf^convenientfbwaytode nenew`opGeratorname'commandsanalogoustor\sinand\lim, includingpropGersidespacingandautomaticselectionofrtheUUcorrectfontstyleandsize(evenwhenusedinsub-orsupGerscripts).hrMultiplesubstitutesfortheeqnarrayenvironmenttomakevqariouskindsrofUUequationarrangementseasiertowrite.hrEquation+onumbGersautomaticallyadjustupordowntoavoidoverprintingronUUtheequationcontentsUU(unlikeeqnarray).hrSpacingaroundequalssignsmatchesthenormalspacingintheequationrenvironmentUU(unlikeeqnarray).hrAxwayxtoproGducemultilinesubscriptsasareoftenusedwithsummationrorUUproGductsymbols.hrAneasywaytosubstituteavqariantequationnumbGerforagivenequationrinsteadUUoftheautomaticallysuppliednumbGer.hrAneasywaytoproGducesubordinateequationnumbersoftheform(1.3a)r(1.3b)UU(1.3c)forselectedgroupsofequations.hrA\boldsymbolcommandforprintingbGoldversionsofindividualsymbGols,rincludingUUthingslike1andlowercaseGreekletters.hrAnwamsthmpackqagethatprovidesausefulproofenvironmentandsomerenhancementstothe\newtheoremcommand:KsuppGortformultipletheo-rremUUstylesinasingledoGcumentandforunnumbGeredtheoremtypGes._!s\ȍ8#1. HOÎWXTOUSEAAMS-L#A TAEMXsB18G#|1|'#HowtouseAM )S-LAl#A~/TESX'#1.1=1UsingTanAMSpac9k\rageinaL*AT<8E3sXdoQcument[#A`packqage'inL5ffA͉TU>'ExXterminologyisanextensionwritteninsuchaformthat #itcanbGeusedviathe\usepackagecommand. "Manyoftheprincipalfea-#turesofAU>'M S-L5ffA͉TU>'ExXareprovidedinseparatepackqagessothattheycanbGeused#individually"ondemand.ZaTheamsmathpackqageispGerhapsthesinglemostnote-#worthypackqage,asitsubsumestheamstext,amsbsy,andamsopnpackqages,and#provides TanumbGerofotherenhancementsformathematicaltypGesetting.The#currentUUlistofpackqagesis:u#amsmathLDe nesUUextraenvironmentsUUformultilinedisplayedequations,aswell<asUUanumbGerUUofotherenhancementsformath.<#amstextLProvidesUUa\textcommandfortypGesettingafragmentoftextinside<aUUdisplay*.#amsbsyGDe nesUU\boldsymboland\pmb`pGoorUUman'sbGold'commands.#amsopnGProvidesUU\DeclareMathOperatorforde ningnew`opGeratornames'<likeUU\sinand\lim.#amsthmGProvidesUUaproofenvironmentandextensionsforthe\newtheorem<command.#amsintxLProvidesUUmoredescriptivecommandsyntaxforintegralsandsums.#amscdB?ProvidesUUaCDenvironmentforsimplecommutativediagrams(no<suppGortUUfordiagonalarrows).#amsxtraLProvidesUUcertainoGddsandendssuchas\fracwithdelimsand<\accentedsymbol,UUforcompatibilitywithdoGcumentscreatedusing<versionUU1.1.#uprefB?MakesUU\refprintcross-referencenumbGersalwaysinanupright/roman<fontUUregardlessofcontext.u#1.2=1OptionsTfortheamsmathpac9k\rage[#TheUUamsmathpackqagehasthefollowingoptions:#centertags\(default)+F*orasplitequation,`placeequationnumbGers+vertically <centeredUUonthetotalheightoftheequation.#tbtagsG`T*op-or-bGottomVtags':Forasplitequation,placeequationnumbGerslevel<withUUthelast(resp. rst)line,ifnumbGersUUareontheright(resp.left).hs\ȍ8Y2@S2. DISPLAJYEDXEQUATIONS()Cscmtt8AMSMATHPAÎCKAGE)8GYsumlimits?(default)8PlacethesubscriptsandsupGerscriptsofsummationsym- rbGolsaboveandbGelow,rindisplayedequations. @Thisoptionalsoa ectsrotherUsymbGolsofthesametypGe|u cmex10Q qɲ,?` a,?N 0,?L,andUsoforth|butexclud-ringUUintegrals(seebGelow).&Ynosumlimits߲AlwaysuplacethesubscriptsandsupGerscriptsofsummation-typersymbGolsUUtotheside,evenindisplayedequations.Yintlimits?LikeUUsumlimits,butforintegralsymbGols.Ynointlimits߲(default)UUOppGositeofintlimits.Ynamelimits(default)]Likesumlimits,butforcertain`opGeratornames'suchasrdet,inf c,limF,max+,minc,thatբtraditionallyhaveբsubscriptsplacedunder-rneathUUwhentheyoGccurinadisplayedUUequation.YnonamelimitsܲOppGositeUUofnamelimits.~LhT*ouseoneofthesepackqageoptions,puttheoptionnameintheoptionalar-Ygument8ofthe\usepackagecommand|e.g.,q\usepackage[intlimits]{amsmath}.hThe amsmathpackqagealsorecognizesthefollowingoptionswhicharenor-Ymally9selected(implicitlyorexplicitly)throughthe\documentclasscommand,Yand"thusneednotbGerepeatedintheoptionlistofthe\usepackage{amsmath}Ystatement.Yleqnox?PlaceUUequationnumbGersUUontheleft.&Yreqnox?PlaceUUequationnumbGersUUontheright.Yfleqnx?Positionsequationsata xedindentfromtheleftmarginratherthan rcenteredUUinthetextcolumn.hF*orsymmetrythereshouldpGerhapsbeacentereqnoptionaswell,tobal-Yancewithfleqn,GbutasthingscurrentlystandtheredoGesn'tseemtobeaYgenuineUUneedforit. Y|2|YDisplayedequations((߆T cmtt12amsmathpack@age)Y2.1s1In9troQductionȍYTheamsmathpackqageprovidesanumbGerofadditionaldisplayedequationstruc-YturesbGeyondthebasicequationandeqnarrayenvironmentsprovidedinbasicYL5ffA͉TU>'ExX.qTheUUaugmentedsetincludes:cequationaligncgatherflaligncmultlinealignatcsplitss\ȍ8#2. DISPLAJYEDXEQUATIONS(AMSMATHPAÎCKAGE)@S38G#(Although3thestandardeqnarrayenvironment3remainsavqailable,Palignor #splitUUarerecommendedinstead.) L鍑2Except{{forsplit,eachenvironmenthasbGothstarredandunstarredforms,#wherejtheunstarredformshavejautomaticnumbGeringjusingL5ffA͉TU>'ExX'sequation#counter.BY*ou&cansuppressthenumbGeronanyparticularlinebyputting\notag#bGeforeAthe\\;youcanalsooverrideitwithatagofyourownusing\tag{hlab}'eli},#whereLhlab}'elimeansarbitrarytextsuchas$*$oriiusedto\numbGer"the#equation.sThere9isalsoa\tag*commandthatcausesthetextyousupplyto#bGetypesetliterally*,0withoutaddingparenthesesaroundit.c\tagand\tag*#caneTalsobGeusedwithintheunnumberedeTversionsofalltheamsmathalignment#structures.gSome6examplesoftheuseof\tagmaybGefoundintheAU>'M S-L5ffA͉TU>'ExX#sampleUU lestestmath.texandsubeqn.tex.fݍ#2.2=1SingleTequations#Thep{equationenvironmentp{isforasingleequationwithanautomaticallygen-#erated{numbGer.8Theequation*environmentisthesameexceptforomitting#theUUnumbGer.^1#2.3=1SplitTequationswithoutalignmen9t#The߮multlineenvironment߮isavqariationoftheequationenvironment߮usedfor#equationsYthatdon't tonasingleline.~The rstlineofamultlinewillbGeat#theleftmarginandthelastlineattherightmargin,! exceptforanindentionon#bGothQ5sidesintheamountof\multlinegap.pgIntermediatelineswillbGecentered#indepGendentlywithinthedisplaywidth.QHowever,it'spGossibletoforcealineto#thesleftorrightwithcommands\shoveleft,\shoveright.5"Thesecommands#take theentirelineasanargument,;uptobutnotincludingthe nal\\;hfor#exampleT#(2.10)F>*ff?v T TffkUAr Tffffff?vVy@*ff T TffRNB4 Tffffff?*ffE T TffZKCy TffffffE*ff?v T TffkDr Tffffff?v漍#\begin{multline} #\framebox[.65\columnwidth]{A}\\#\framebox[.5\columnwidth]{B}\\#\shoveright{\framebox[.55\columnwidth]{C}}\\#\framebox[.65\columnwidth]{D}#\end{multline}漍2The{vqalueof\multlinegapcanbGechangedusingL5ffA͉TU>'ExX's\setlengthand#\addtolengthcommands.Ifthemultlinecontainsmorethantwolines,"any# ffv J= "5-:1LBasicL#A TAEMXdo cmmi10a=b 33(*qY\begin{equation}Ya=bY\end{equation}L̈́ 33fdJla=b(1) 33F*qY\begin{equation}\label{xx}Y\begin{split}Ya&?=b+c-d\\^?&?\quad+e-f\\^?&?=g+h\\^?&?=iY\end{split}Y\end{equation}L̈́933fd9haAް=b8+cdKPy+8efAް=g+8hAް=i(2)933Kx⍍:Y\begin{multline}Ya+b+c+d+e+f\\Y+i+j+k+l+m+nY\end{multline} L̈́33fd(3)a8+b+c+d+e+f;+8i+jk+kw+lk@+m+n333x㍍qY\begin{gather}Ya_1=b_1+c_1\\Ya_2=b_2+c_2-d_2+e_2Y\end{gather} L̈́33fd;ca1C=b1S+8c1(4)&&ٵa2C=b2S+8c2d2+e2(5)334*qY\begin{align}Ya_1&?=b_1+c_1\\Ya_2&?=b_2+c_2-d_2+e_2Y\end{align} L̈́33fd&&صa12=b1S+8c1(6)&&صa22=b2S+8c2d2+e2(7)33@*qY\begin{align}Ya_{11}&?=b_{11}&ca_{12}&?=b_{12}\\Ya_{21}&?=b_{21}&ca_{22}&?=b_{22}+c_{22}Y\end{align} L̈́33fda11/=b11YJa12i'=b12(8)a21/=b21YJa22i'=b22 Ʋ+8c22(9)33L*qY\begin{flalign*}Ya_{11}&?=b_{11}&ca_{12}&?=b_{12}\\Ya_{21}&?=b_{21}&ca_{22}&?=b_{22}+c_{22}Y\end{flalign*} L̈́33fda11.=b11kma12|(=b12a21.=b21kma22|(=b22 Ʋ+8c2233s\ȍ8#2. DISPLAJYEDXEQUATIONS(AMSMATHPAÎCKAGE)@S58G#linesxotherthanthe rstandlastwillbGecenteredindividuallybetweenxthe #marginsUU(exceptwhenthefleqnoptionisine ect).38#2.4=1SplitTequationswithalignmen9tȍ#Like%multline,/!thesplitenvironmentisforsingleequationsthataretoGolong#tohp tononelineandhencemustbGesplitintomultiplelines.Unlikemult-#line,however,thesplitenvironmentprovidesforalignmentamongthesplit#lines,eusingbj&tomarkalignmentpGoints,easusual.Inaddition,unliketheother#amsmath>equationstructures,yRthesplitenvironment>providesnonumbGering,#bGecauseRitisintendedtobeusedonlyinsidesomeotherdisplayedRequation#structure,1Dusually(@anequation,align,orgatherenvironment,which(@provides#theUUnumbGering.qF*orexample:-?댍[(H 0ercmmi7cjR=<$1Kwfe (֍2nn X l `=0 J(1)lȲ(n8l2`)p O!cmsy72(X nlZcmr51 + +lO \cmmi5p2Ա=l?p 獍;Y t;vRi=1JI^<$Qqni 卑RliZƣ^#wsm8[(nl2`)(ni,liTL)]ni*liǷ`hIJ(nl)2Sbp 獍X tmjg=1(ni,liTL)2|s`i 5W:#(2.11)-?#\begin{equation}\label{e:barwq}\begin{split}#H_c&=\frac{1}{2n}?\sum^n_{l=0}(-1)^{l}(n-{l})^{p-2}#\sum_{l?_1+\dots+l_p=l}\prod^p_{i=1}\binom{n_i}{l_i}\\#&\quad\cdot[(n-l?)-(n_i-l_i)]^{n_i-l_i}\cdot#\Bigl[(n-l?)^2-\sum^p_{j=1}(n_i-l_i)^2\Bigr].#\end{split}\end{equation}<_#2.5=1EquationTgroupswithoutalignmen9t#The|pgatherenvironment|pisusedforagroupofconsecutiveequationswhenthere#isnoalignmentdesiredamongthem;(8eachoneiscenteredseparatelywithinthe#textUUwidth(seeT*able2.1).38#2.6=1EquationTgroupswithm9utualalignment#The.alignenvironment.isusedfortwo.ormoreequationswhenverticalalign-#ment_isdesired;usuallybinaryrelationssuchasequalsignsarealigned(see#T*ableUU2.1).2T*oڰhaveseveralequationcolumnsside-by-side,8useextraampGersandstosep-#arateUUthecolumns:<_qxzH+=yXҩ=Y4 a<=b8+c#(2.12)nx0zH+=y[ٟ0+X0ҩ=Y801>`a0<=b#(2.13)] ĵx8+x0zH+=y+8y[ٟ0X²+8X0ҩ=YqIJ+8Y80,a09b<=c09b#(2.14)#\begin{align} #x&=y$&?X&=Y&a&=b+c\\#x'&=y'?&?X'&=Y'&a'&=b\\#x+x'&=y+y'?&X+X'&=Y+Y'&a'b&=c'b#\end{align}s\ȍ8Y6@S2. DISPLAJYEDXEQUATIONS(AMSMATHPAÎCKAGE)8GYLine-by-lineannotationsonanequationcanbGedonebyjudiciousapplicationof Y\textUUinsideanalignenvironment:V6xOj=y1S8y2+y3y5+y8:::Qobyx(2.21)Y(2.15)Oj=y[ٟ0b8y[ٟQobyx(3.1)Y(2.16)Oj=y[ٲ(0)y0QobyUUAxiom1.Y(2.17)AY\begin{align}Yx&?=y_1-y_2+y_3-y_5+y_8-\dots&&?\text{by\eqref{eq:C}}\\^?&?=y'\circy^*&&\text{by\eqref{eq:D}}\\^?&?=y(0)y')&&\text{byAxiom1.}Y\end{align}AYA?vqariantߥenvironmentalignatallowsthespacebGetweenequationcolumnsYtobGeexplicitlyspeci ed.+HerethenumberofequationcolumnsmustalsobeYspGeci edc(wherethenumbercof`columns'iscalculatedas(1 +& *max)=2cwithY&`maxr=maximum1qnumbGerUUof&markersonanyline).V+xDz=y1S8y2+y3y5+y8:::4ղbyx(2.21)Y(2.18)=y[ٟ0b8y[ٟ4ղbyx(3.1)Y(2.19)=y[ٲ(0)y04ղbyUUAxiom1.Y(2.20)AY\begin{alignat}{2}Yx&?=y_1-y_2+y_3-y_5+y_8-\dots&\quad&?\text{by\eqref{eq:C}}\\^?&?=y'\circy^* &&\text{by\eqref{eq:D}}\\^?&?=y(0)y'&&\text{byAxiom1.}Y\end{alignat}AY2.7s1Alignmen9tTbuildingbloQcks7YSome(otherequationalignmentenvironments,suchasalignedandgathered,YconstructXself-containedunitsthatcanbGeusedinsideofotherexpressions,orYsetside-by-side.LTheseenvironmentstakeanoptionalargumenttospGecifytheirYverticalpGositioningwithrespecttothematerialoneitherside.ThedefaultisY`middle'HplacementwiththeverticalmidpGointofthetotalunitfallingontheYmathUUaxis^2|s.qF*orexample:%Hd 9= z  9=  9= versus)1R=`)81R=[('1R='-oYffv J= "5-:2LTheXheighÎtofthecross-barinthe+symb'ExX.9UnlikeBreqnarray,}theamsmathenvironmentsdon'tallowpagebreaks#bGetweenVlines,unless\displaybreakor\allowdisplaybreaksisused.v Thes\ȍ8Y8@S2. DISPLAJYEDXEQUATIONS(AMSMATHPAÎCKAGE)8GYphilosophyisthatpagebreaksinsuchsituationsshouldreceiveindividualat- Ytentionɳfromtheauthor.\displaybreakisbGestplacedimmediatelybeforeYthe\\whereitistotakee ect.)LikeL5ffA͉TU>'ExX's\pagebreak,\displaybreakYtakesPanoptionalargumentbGetween0and4denotingthedesirabilityoftheYpagebreak._\displaybreak[0]means\itispGermissibletobreakhere"withoutYencouragingabreak;/\displaybreakwithnooptionalargumentisthesameasY\displaybreak[4]UUandforcesabreak.hIfyoupreferastrategyoflettingpagebreaksfallwheretheymay*,eveninYthe!middleofamulti-lineequation,, thenyoumightput\allowdisplaybreaksYinthepreambleofyourdoGcument.0RAnoptionalargument1{4canbGeusedforY ner$control:-f[1]meansallowpagebreaks,ʘbutavoidthemasmuchaspGossi-Yble;nvqaluesof2,3,4meanincreasingpGermissiveness.WhendisplaybreaksareYenabledwith\allowdisplaybreaks,the\\*commandcanbGeusedtoprohibitYaUUpagebreakafteragivenline,asusual.38Y2.10xT extualTin9terjectionswithinadisplayȍYThegcommand\intertextisusedforashortinterjectionofoneortwolinesYoftextinthemiddleofadisplayalignment.BItssalientfeatureispreservqationYofXthealignment,YWwhichXwouldnothappGenifyousimplyendedthedisplayandYthen<;starteditupagainafterwards.ii\intertextmayonlyappGearrightafteraY\\UUor\\*command.qNoticethepGositionoftheword\and"inthisexample./ A1=N0|s(; 09)8(; 09);Y(2.22)/ A2=(; 09)8(; );Y(2.23)Yand/ A3=Ny=(;![ٲ):Y(2.24)Y\begin{align} YA_1&=N_0(\lambda;\Omega')-\phi(\lambda;\Omega'),\\YA_2&=\phi(\lambda;\Omega')-\phi(\lambda;\Omega),\\Y\intertext{and}YA_3&=\mathcal{N}(\lambda;\omega).Y\end{align}Y2.11xEquationTn9umbQeringȍY2.11.1Num9bQeringThierarchyfdYIndL5ffA͉TU>'ExXifyouwantedtohaveequationsnumbGeredwithinsections|thatis,YhaveDequationnumbGersD(1.1),?(1.2),:::;,(2.1),(2.2),:::;,insections1,2,andYsoforth|youcouldrede ne\theequationassuggestedintheL5ffA͉TU>'ExXmanualY[5,UUx6.3,xC.8.4]:Y\renewcommand{\theequation}{\thesection.\arabic{equation}}hThisworksprettywell,Эexceptthattheequationcounterwon'tbGeresettoYzeroatthebGeginningofanewsectionorchapter,Qunlessyoudoityourselfusing s\ȍ8#3. MISCELLANEOUSXMAJTHEMATICSFEATURES&[98G#\setcounter.`T*o makethisalittlemoreconvenient,*theamsmathpackqagepro- #videsL1acommand\numberwithin.nT*ohaveL1equationnumbGeringL1tiedtosection#numbGering,WwithVautomaticresetoftheequationcounter,thecommandwould#bGe/#\numberwithin{equation}{section}d#2.11.2KCrossTreferencestoequationn9umbQers#T*opbmakecross-referencestoequationseasier,w&an\eqrefcommandisprovided.#ThisautomaticallysuppliestheparenthesesaroundtheequationnumbGer,"and#adds anitaliccorrectionifnecessary*. To refertoanequationthatwaslabGeled#withUUthelabGele:baset,theusagewouldbe\eqref{e:baset}.?#2.11.3KSubQordinateTn9umberingTsequences#The^amsmathpackqageprovidesalsoasubequationsenvironmenttomakeit#easytonumbGerequationsinaparticulargroupwithasubordinatenumbering#scheme.qF*orUUexample/#\begin{subequations}#...#\end{subequations}d#causesHallnumbGeredHequationswithinthatpartofthedocumenttobenumbered#(4.9a)](4.9b)(4.9c):::]~,iftheprecedingnumbGered]equationwas(4.8).-A]H\label#command؃immediatelyafter\begin{subequations}willproGducea\refofthe#parentnumbGer4.9,¬4.9a.ThecountersusedbythesubGequationsenviron-#mentOareparentequationandequationand\addtocounter,\setcounter,#\value,{etc.,cantbGeappliedasusualtothosecounternames.T*ogetanything#otherthanlowercaselettersforthesubGordinatenumbers,usestandardL5ffA͉TU>'ExX#methoGdsqforchangingnumbGeringstyle[5,8x6.3,xC.8.4].UF*orqexample,rede ning#\theequationUUasfollowswillproGduceromannumerals.#\begin{subequations}#\renewcommand{\theequation}{\theparentequation?\roman{equation}}#...(d#|3|!#Miscellaneousmathematicsfeatures(amsmathpack@age)!#3.1=1MatricesT#The=amsmathpackqageprovidessomeenvironmentsformatricesbGeyondthebasic#array DzenvironmentofL5ffA͉TU>'ExX.Thepmatrix,6bmatrix,Bmatrix,vmatrixand#Vmatrixhave(respGectively)(),g[],fg,jj,andkkdelimitersbuiltin. jF*or#namingo consistencythereisamatrixenvironmento sansdelimiters.Thisisnot#entirelyJredundantwiththearrayenvironment;řthematrixenvironmentsall 5s\ȍ8Y10&Z3. MISCELLANEOUSXMAJTHEMATICSFEATURES8GYuse-moreeconomicalhorizontalspacingthantheratherproGdigalspacingofthe Yarrayenvironment.Also,ٙunlikethearrayenvironment,ٙyoudon'thavetoYgivecolumnspGeci cationsforanyofthematrixenvironments;bydefaultyouYcanhaveupto10centeredcolumns.^1 .(IfyouneedleftorrightalignmentinaYcolumnUUorotherspGecialformatsyoumustresorttoarray.)hT*o3proGduceasmallmatrixsuitableforuseintext,*thereisasmallmatrixYenvironmentS(e.g.,b @ab\q Zc]d2BbǙ)thatcomescloserto ttingwithinasingletextlineYthanUXanormalmatrix.sDelimitersmustbGeprovided;therearenop,b,v,VUversionsYofUUsmallmatrix.qTheabGoveUUexamplewasproducedbyY\bigl(?\begin{smallmatrix}ca&b\\?c&dY\end{smallmatrix}?\bigr)h\hdotsfor{hnumb}'eri}xproGducesarowofdotsinamatrixspanningthegivenYnumbGerUUofcolumns.qF*orexample,)gdzai/bcdzpe T:T:T:T:T:T:T::F\begin{matrix}?a&b&c&d\\Fe&\hdotsfor{3}?\end{matrix}hThespacingofthedotscanbGevqariedthroughuseofasquare-bracketoption,YforSexample,Sy\hdotsfor[1.5]{3}.qThenumbGerSinsquarebracketsSwillbeusedYasUUamultiplier(i.e.,thenormalvqalueis1.0).&eV0BBfi@dŅKD1|st{a12xt2/:::&~a1n mtnma21xt1oD2|st/:::&~a2n mtnZ:S:::::::::::::::::::::ian1 mt1 an2 mt2/:::.Dnq~tVFy1FyCFyCfiFyAPV;Y(3.1)%_Y\begin{pmatrix}?D_1t&-a_{12}t_2&\dots&-a_{1n}t_n\\Y-a_{21}t_1&D_2t&\dots&-a_{2n}t_n\\Y\hdotsfor[2]{4}\\Y-a_{n1}t_1&-a_{n2}t_2&\dots&D_nt\end{pmatrix}Y3.2s1MathTspacingcommandsȍYTheamsmathpackqageslightlyextendsthesetofmathspacingcommands,FPasYshownbGelow.BoththespGelled-outandabbreviatedformsofthesecommandsYareUUrobust,andtheycanalsobGeusedoutsideofmath '31_Abbrev.$SpGelledUUoutExampleAbbrev.4SpGelledUUoutExampleYff]fd\,5$\thinspacez F\!\negthinspace1̈́6̈́5n6Y\:5$\medspacez~3\negmedspace1̈́6̈́45z!\;5$\thickspacez'P\negthickspace1̈́6̈́4RO45$\quadz`95$\qquadz`:Y'uiffv J= "5-:1LMoreprecisely:KThemaximÎumnumb'ExXprovides\overrightarrowand\overleftarrowcommands.+Some#additional>overandunderarrowcommandsareprovidedbytheamsmathpackqage#toUU llouttheset:7\overleftarrow.?\underleftarrow7\overrightarrow(\underrightarrow7\overleftrightarrow\underleftrightarrow~#3.4=1Dots#Whenktheamsmathpackqageisused,pellipsisdotsshouldnormallybGetypGedas#\dots. Placementݠ(onthebaselineorcentered)isdeterminedbywhatever#followsTthe\dots.IfthenextthingisaplussignorotherbinarysymbGol,#thedotswillbGecentered;ifit'sanyotherkindofsymbGol,ptheywillbeonthe#baseline. 2Ifϧthedotsfallattheendofamathformula,cthenextthingissomethinglike#\endπor\)or$, whichdoGesnotgiveanyinformationabGouthowtoplacethe#dots.fThen2+youmusthelpbyusing\dotscfor\dotswithcommas,"93or\dotsb#for)\dotswithbinaryopGerators/relations,"eor\dotsmfor\multiplicationdots,"#orUU\dotsifor\dotswithintegrals."qF*orexample,theinput~-Then?wehavetheseries$A_1,A_2,\dotsc$,-the?regionalsum$A_1+A_2+\dotsb$,-the?orthogonalproduct$A_1A_2\dotsm$,-and?theinfiniteintegral-\[\int_{A_1}\int_{A_2}\dotsi\]._@#will* proGducelowdotsinthe rstinstanceandcentereddotsintheothers,2with#theUUspacingoneithersideofthedotsnicelyadjusted:KThen(*wehavetheseriesA1|s;A2;:::,13the(*regionalsumA1Z+ފA2+<IUQ,UUtheorthogonalproGductA1|sA2'|j,andthein niteintegralcZ1Ɵ yA1GcZX yA2@W:m2SpGecifyingadotsthisway*,dinatermsoftheirmeaningratherthanintermsof#theirvisualplacement,isinkeepingwiththegeneralphilosophyofL5ffA͉TU>'ExXand#makesUUdoGcumentsmoreeasilyadaptabletodi erentconventions.7#3.5=1Non9breakingTdashes숍#Acommand\nobreakdashisprovidedtosuppressthepGossibilityofalinebreak#after<$thefollowinghyphenordash.&4F*orexample,uifyouwrite`pages1{9'as ՠs\ȍ8Y12&Z3. MISCELLANEOUSXMAJTHEMATICSFEATURES8GYpages?1\nobreakdash--9thenalinebreakwillneveroGccurbetweenthedash Yand#the9.2Y*oucanalsouse\nobreakdashtoprevent#undesirablehyphen-Yationsincombinationslike$p$-adic.bF*orfrequentuse,it'sadvisabletomakeYabbreviations,UUe.g.,#Y\newcommand{\p}{$p$\nobreakdash}%?for"\p-adic"Y\newcommand{\Ndash}{\nobreakdash--}%?for"pages1\Ndash9"Y%For?"\ndimensional"("n-dimensional"):Y\newcommand{\n}[1]{$n$\nobreakdash-\hspace{0pt}}BYThe/lastexampleshowshowtoprohibitalinebreakafterthehyphenbutallowYnormalhyphenationinthefollowingword.9(Itsucestoaddazero-widthspaceYafterUUthehyphen.)V;Y3.6s1Accen9tsTinmathՉYThe\followingaccentcommandsautomaticallygivegoGod\positioningofdoubleYaccents:c\Hat\Check \Tilde\Acute\Grave\Dot\Ddotc\Breve \Bar\VecBYWithstheusualnon-capitalizedmathaccentcommands,{ythesecondaccentwill9YsometimesmbGeaskew;forexample:U=^*x䍑{^A 뇲(\hat{\hat{A}}).$Withtheamsmathpack-Yage, eifyoutypGe\Hat{\Hat{A}}(usingthecapitalizedformforbothaccents)rYtheUUsecondaccentwillbGebetterpositioned:US^*x䍑X^qǵA Ȳ. hThisdoubleaccentopGerationiscomplicatedandtendstoslowdowntheYproGcessingofadocument.S]IfyourdoGcumentcontainsmanydoubleaccents, VyouYmaywishtousetheamsxtrapackqage,whichprovidesan\accentedsymbolYcommand.F\accentedsymbolQisasortofhybridof\newcommandand\savebox;YyouЕuseitinthepreambleofyourdoGcumenttostoretheresultofthedoubleYaccentUUcommandina`bGox'forquickretrievqal.c\accentedsymbol{\Ahathat}{\Hat{\Hat?A}}BhThecommands\dddotand\ddddotareavqailabletoproGducetripleandYquadruple-dotaccentsinadditiontothe\dotand\ddotaccentsalreadyavqail-YableUUinL5ffA͉TU>'ExX.V;Y3.7s1RoQotsՉYIn`ordinaryL5ffA͉TU>'ExXtheplacementofroGotindicesissometimesnotsogood:P zPpLzPfeVkY(\sqrt[\beta]{k}).In~theamsmathpackqage\leftrootand\uprootallowYyouUUtoadjustthepGositionoftheroot:c\sqrt[\leftroot{-2}\uproot{2}\beta]{k}BYwillMcmovethebGetaupandtotheright:QV( ܀zPp1ןzPfeVk-.o!ThenegativeargumentusedwithY\leftrootŲmovesthe ytotheright.JTheunitsareasmallamountthatisaYusefulUUsizeforsuchadjustments. s\ȍ8#3. MISCELLANEOUSXMAJTHEMATICSFEATURES&Z138G#3.8=1Bo9xedTformulasT#Theotcommand\boxedputsabGoxarounditsargument,ulike\fboxexceptthat #theUUcontentsareinmathmoGde:}ܟffmIff"C(`([ٲ)8+M\(0;))lO}ffffffmI#(3.2)Ѝ-\boxed{\eta?\leqC(\delta(\eta)+\Lambda_M(0,\delta))};#3.9=1ExtensibleTarro9ws#\xleftarrow̲and\xrightarrowproGducearrowsthatextendautomaticallyto#accommoGdate1unusuallywidesubscriptsorsuperscripts.]Thesecommandstake#onemoptionalargument(thesubscript)andonemandatoryargument(thesu-#pGerscript,UUpossiblyempty):AꍑTn+1$ >2(OBT΍ni12G `񍍑>!H`T%%C#(3.3)u-\xleftarrow{n+\mu-1}\quad?\xrightarrow[T]{n\pmi-1};#3.10BAxingTsym9bQolstoothersymbQols#L5ffA͉TU>'ExX..provides\stackrelforplacingasupGerscriptabove..abinaryrelation.dIn#the*Jamsmathpackqagetherearesomewhatmoregeneralcommands,_\overset#and\underset,#thatcanbGeusedtoplaceonesymbolaboveorbelowanother#symbGol,[whether'it'sarelationorsomethingelse.|=Theinput\overset{*}{X}ፑ#will[placeasupGerscript-sizeabove[theX:*S~XN;\undersetistheanalogfor#addingUUasymbGolunderneath. 2SeeUUalsothedescriptionof\sidesetinx7.3.-g#3.11BF ractionsTandrelatedconstructions#3.11.1KDisallo9wingTprimitiveT<8E3sXfractioncommands$#The8sixgeneralizedfractioncommands\over,q\overwithdelims,\atop,\atop-#withdelims,\above,\abovewithdelims areexpresslyforbiddenbytheams-#mathppackqage,astheirsyntaxisdecidedlyoutofplaceinL5ffA͉TU>'ExX;޼useoftheforms#\frac,UU\binom,\genfrac,andvqariantsisrequired.^2?#3.11.2KTheT\frac,\dfrac,and\tfraccommands#The\fraccommand,whichisinthebasiccommandsetofL5ffA͉TU>'ExX,takestwo#arguments|numeratorianddenominator|andtypGesetstheminnormalfraction# R\ffv J= "5-:2LNotonlyistheunÎusualsyntaxoftheprimitiveTAEMXfractioncommandsratheroutof placem&inL#A TAEMX,butfurthermorethatsynÎtaxseemstob'ExXbookishowtocontrolthesize#ofn9largedelimitersiftheautomaticsizingdoneby\leftand\rightproGduces#unsatisfactorysresults.Z'Theautomaticsizinghastwoslimitations:NVFirst,itisap-#pliedmechanicallytoproGducedelimiterslargeenoughtoencompassthelargest#containedzitem,andsecond,therangeofsizesisnotevenapproximatelycon-#tinuous4buthasfairlylargequantumjumps.fThismeansthatamathfragment#thatwisin nitesimallytoGolargeforagivendelimitersizewillgetthenextlarger#size,a jumpof3ptorsoinnormal-sizedtext.YJTherearetwo orthreesituations#wherethedelimitersizeiscommonlyadjusted,usingasetofcommandsthat#haveUU`big'intheirnames.0ٮ'-+Delimiter͟ ffb+text\left\bigl#\Bigl\bigglFC\Biggl-+ڲsize0` ffb+size\right\bigr#\Bigr\biggrFC\Biggr'+ٟffPN Result ff;(b)(<$c33wfe4r (֍dز)bs(fWUb)p06`<$w̙cw\Mwfe4r (֍d}`ןbR.bbWb<$ -c ]wfe4r (֍dņb`b``<$ Gc $wfe4r (֍d`ɟ^=b^\t^<$\gcwfe4r (֍dS^\ 'ȵb\!꬟\ <$x׵cwfe4r (֍dp0\!/5#The rstkindofsituationisacumulativeopGeratorwithlimitsaboveandbelow.#With&\leftand\rightthedelimitersusuallyturnoutlargerthannecessary*,Πs\ȍ8Y16&Z3. MISCELLANEOUSXMAJTHEMATICSFEATURES8GYandUUusingtheBigorbiggsizesinsteadgivesbGetterresults:%?ZY2 Y4X t^Ĵivai      TIX t شjpxij      (#ִpZ-'u3 -'u5ǟn*1=p'versusU^%'ExX\big,%\bigg,\Big,anda\Biggdelimitersaren'tscaledYpropGerly1overthefullrangeofL5ffA͉TU>'ExXfontsizes.JfWiththeamsmathpackqagetheyYare.UY3.14.2V erticalTbarnotationsYThewamsmathpackqageprovidescommands\lvert,M?\rvert,\lVert,\rVertY(compare!\langle,YS\rangle)toaddresstheproblemofoverloading!fortheYvertYbarcharacter|.KThischaracteriscurrentlyusedinL5ffA͉TU>'ExXdoGcumentstoYrepresentRawidevqarietyofmathematicalob8jects:the`divides'relationinaYnumbGer-theory;expressionlikepjq[ٲ,u%ortheabsolute-vqalueoperationjzpj,u%ortheY`suchthat'conditioninsetnotation,Korthe`evqaluatedat'notationfDz(t)  UUt=0.YThemultiplicityofusesinitselfisnotsobad; Zwhatisbad,however,isthatfactYthat"VnotalloftheusestakethesametypGographicaltreatment,UandthattheYcomplexediscriminatorypGowerseofaknowledgeablereadercannotbereplicatedYinMjcomputerproGcessingofmathematicaldocuments,Oatleastnotwithoutasig-Yni cant$costinproGcessingspeed,andeventhennotwithoutfallingsomewhatYshortͿofhumanreaders'abilities.DItisrecommendedthereforethatthereshouldYbGeMaone-to-onecorrespondenceinanygivendoGcumentbGetweenthevertbarYcharacter|andaselectedmathematicalnotation,andsimilarlyforthedouble-YbarBcommand\|.IlThisimmediatelyrulesouttheuseof|and\|fordelimiters,'s\ȍ8#4. OPERAJTORXNAMES(AMSOPN,AMSMATHPAÎCKAGES)yx178G#asinthenotationsforabsolutevqalueornorm,&bGecauseleftandrightdelimiters #aredistinctusagesthatdonotrelateinthesamewaytoadjacentsymbGols;&rec-#ommendedpracticeisthereforetode nesuitablecommandsinthedoGcument#preambleUUforanypaired-delimiteruseofvertbarsymbGols:{#\newcommand{\abs}[1]{\lvert#1\rvert}#\newcommand{\norm}[1]{\lVert#1\rVert}#whereupGoncbthedocumentwouldcontain\abs{z}toproGducejzpjand\norm{v}#toUUproGducekv[ٸk. #|4|#Op`eratornames(amsopn,amsmathpack@ages)#4.1=1De ningTnewopQeratornamesȍ#Mathfunctionssuchaslogۈ,sinL,andlimIaretraditionallytypGesetinromantypGe#toAmakethemvisuallymoredistinctfromone-lettermathvqariables,whichare#setAinmathitalic.kFThemorecommononeshaveAprede nednames,E\log,\sin,#\lim,20and)gsoforth,butnewonescomeupallthetimeinmathematicalpapGers,#sotheamsopnpackqageprovidesageneralmechanismforde ningnew`opGerator#names'.Astheamsopnpackqageisloadedinternallybytheamsmathpackqage,#thefollowingfeaturesareavqailabletherealso.TT*ode neamathfunction\xxx#toUUworklike\sin,youwrite#\DeclareMathOperator{\xxx}{xxx}#whereupGonoensuingusesof\xxxwillproducexxxintheproperfontandau-#tomaticallyaddpropGerspacingoneithersidewhennecessary*,sothatyouget#Axxx*Binstead>ofAxxxZBq.jInthesecondargumentof\DeclareMathOperator#(thenametext),7apseudo-textmoGdeprevqails::thehyphencharacter-willprint#asatexthyphenratherthanaminussignandanasterisk*willprintasaraised#text asteriskinsteadofacenteredmathstar.(Compareac-b*c\andabc.)#ButXotherwisethenametextisprintedinmathmoGde, Xsothatyoucanuse, Xe.g.,#subscriptsUUandsupGerscriptsthere.2If thenewopGeratorshouldhave subscriptsandsuperscriptsplacedin`limits'#pGosition(aboveandbGelowaswithlimع,]supkW,]ormax,usethe*formofthe#\DeclareMathOperatorUUcommand:#\DeclareMathOperator*{\Lim}{Lim}2ACfewC spGecialoperatornamesareprede nedbytheamsopnpackqage:h\var-#injlim,UU\varprojlim,\varliminf,and\varlimsup:+w\varlimsupf fe 㑟$limПn!1XQ(unq~;un^8u)0w\varliminfflimfljfe 㑎Пn!1jݵan+1jS=jqŵanq~j=0w\varinjlimflim3fJ'!J((mi>:)_0r\varprojlimflim3f rП:p2Sa(A)JApfj09s\ȍ8Y18Ve6. THEX\BOLDSYMBOLCOMMAND(AMSBSY,AMSMATHPJAÎCKAGES)8GY4.2s1\modTanditsrelativ9es΍YCommands\mod, \bmod,\pmod,\podareprovidedbytheamsopnpackqageto Ydeal5withthespGecialspacingconventions5of\mod"notation.g:\bmodand\pmodYareavqailableinL5ffA͉TU>'ExX,butwiththeamsopnpackqagethespacingof\pmodwillYadjusttoasmallervqalueifit'susedinanon-display-moGdeformula. e\modYand\podarevqariantsof\pmodpreferredbysomeauthors;Z\modomitstheYparentheses,UUwhereas\podomitsthe\moGd"andretainstheparentheses. }gcd(n;mmoGdߵn); xy [ɲ(moGdb);xy [ɲmoGd ȵc;xy [ɲ(d)Y(4.1)Y\gcd(n,m\bmod?n);\quadx\equivy\pmodbY;\quad?x\equivy\modc;\quadx\equivy\podd(Y|5|RYThe\textcommand(amstext,amsmathpack@ages)RYThe\textcommandisde nedbytheamsmathpackqagethroughasubGordi-YnateCpackqageamstext(whichcanalsobGeusedindependentlyifdesired).TheYmainuseofthecommand\textisforwordsorphrasesinadisplay*.fyItisYveryTbsimilartotheL5ffA͉TU>'ExXcommand\mboxinitse ects,%buthasacoupleofYadvqantages.ZAIfyouwantawordorphraseoftextinasubscript,2youcantypGeY..._{\text{word?orphrase}},4which,Yisslightlyeasierthanthe\mboxequiv-Yalent:-R..._{\mbox{\scriptsize3wordorphrase}}. TheotheradvqantageisYtheUUmoredescriptivename.!f:[xi1 Ǵ;xi*]"isUUmonotonic,gYi=1;:::;c8+1Y(5.1)Yf_{[x_{i-1},x_i]}?\text{ismonotonic,}Y\quad?i=1,\dots,c+1(Y|6|RYThe\boldsymbolcommand(amsbsy,amsmathpack@ages)RYThe\boldsymboland\pmbcommandsarede nedbytheamsbsypackqage(alsoYloaded;byamsmath).The\boldsymbolcommandisusedtoobtainbGoldnumbGersYandothernonalphabGeticsymbols,baswellasboldGreekletters,bwhichcannotYbGe7madeboldviathe\mathbfcommand.^1 "ItcanalsobeusedtoobtainboldYmathitalicletters;"XcomparetheresultsofM,\mathbf{M}and\boldsymbol{M}:YMM,DF cmmib10M .Y~ffv J= "5-:1LActuallyJ,dep'ExXonthedoGcumentationY leUUamsintx.dtxtogetthemostup-to-dateinformationonusage. ύY|8|ύYCommutativediagrams(amscdpack@age)ύYSomeQcommutativediagramcommandsliketheonesinAU>'M S-TU>'ExXareavqailableYasSaseparatepackqage,Tamscd.qAF*orcomplexcommutativediagramsauthorswillYneedtoturntomorecomprehensivepackqageslikeXY-UUpic(seexC.5),Lbutfor]6s\ȍ8#9. USINGXMAJTHFÎONTS218G#simple,diagramswithoutdiagonalarrowstheamscdcommandsmaybGemore #convenient.qHereUUisoneexample.*7"S^WLȸ 8Tꍒ̐7j$kÍ>UM!ŵT??y:6?:6?:6y8End wܴPLu(Sm 8Tc)=Ikffffffk(Z 8Tc)=J+#\begin{CD}#S^{{\mathcal{W}}_\Lambda}\otimes?T@>j>>T\\#@VVV@VV{\End?P}V\\#(S\otimes?T)/I^@=(Z\otimesT)/J#\end{CD}C#Inm=theCDm7environmentm=thecommands@>>>,s7@<<<,@VVV,m=and@AAAgiverespGec-#tivelyright,left,down,anduparrows.TF*orthehorizontalarrows,material#bGetweenGthe rstandsecond>or'ExX,1seetheL5ffATU>'ExXfont#guidey(fntguide.tex)orTheL雍Q1t}\cmti7ATKß'E-XComp}'anionyܲ[3].<~ManyyusersofAU>'M S-L5ffA͉TU>'ExX#alsoۗobtainanauxiliarycollectionofmathfontsknownas`AMSF*onts'.I3Theba-#sicsetofmathfontcommandsinL5ffA͉TU>'ExXincludes\mathbf,*x\mathrm,\mathcal,#\mathsf,f\mathtt,\mathit.)NAdditional{mathalphabGetcommandsareavqailable#throughthepackqagesamsfontsandeucal,riftherequisitefontsareinstalled#onUUyoursystem(seexC.2).;#9.2=1RecommendedTuseofmathfon9tcommands#If:you ndyourselfemployingmathfontcommandsfrequentlyinyourdoGcument,#youmightwishthattheyhadshorternames,suchas\mbinsteadof\mathbf.#OfQcourse,thereisnothingtokeepyoufromprovidingsuchabbreviationsfor#yourself4bysuitable\newcommandstatements.fButforL5ffA͉TU>'ExXtoprovideshorter#names16wouldactuallybGeadisservicetoauthors,8oasthatwouldobscureamuch#bGetter(galternative:[Pde ningcustomcommandnamesderivedfromthenamesof#the}underlyingmathematicalob8jects,ratherthanfromthenamesofthefonts#usedtodistinguishtheob8jects.9F*orexample,ifyouareusingbGoldtoindicate#vectors,sthenyouwillbGebetterservedinthelongrunifyoude nea`vector'#commandUUinsteadofa`math-bGold'command:gǠs\ȍ8Y22%10. THEOREMSXANDRELAJTEDSTRÎUCTURES8Gc\newcommand{\vec}[1]{\mathbf{#1}}.эYwhereupGon^1 youcanwrite\vec{a}?+\vec{b}toproducea+b.ZIfyoudecide Yseveral`monthsdowntheroadthatyouwanttousethebGoldfontforsomeotherYpurpGose,ٕandmarkvectorsbyasmallover-arrowinstead,ٕthenyoucanputYtheI"changeintoe ectmerelybychangingthede nitionof\vec;M3otherwiseyouYwouldhavetoreplacealloGccurrencesof\mathbfthroughoutyourdoGcument,YpGerhaps>evenneedingtoinspecteachonetoseewhetheritisindeedaninstanceYofUUavector. dhItcanalsobGeusefultoassigndistinctcommandnamesfordi erentlettersYofUUaparticularfont:Y\DeclareSymbolFont{AMSb}{U}{msb}{m}{n}%?oruseamsfontspackageY\DeclareMathSymbol{\C}{\mathalpha}{AMSb}{"43}Y\DeclareMathSymbol{\R}{\mathalpha}{AMSb}{"52}YThesexstatementswouldde nethecommands\CIand\RtoproGduceblackboard-YbGoldЕlettersfromthe`AMSb'mathsymbolsfont.IfyoureferoftentotheYcomplex{numbGersorrealnumbGersinyourdoGcument,Hyoumight ndthismethoGdYmoreconvenientthan(let'ssay)de ninga\fieldcommandandwritingY\field{C},;;\field{R}.fBut4formaximum exibilityandcontrol,;;de nesuchaY\fieldUUcommandandthende ne\Cand\Rintermsofthatcommand:Y\usepackage{amsfonts}%?togetthe\mathbbalphabetY\newcommand{\field}[1]{\mathbb{#1}}Y\newcommand{\C}{\field{C}}Y\newcommand{\R}{\field{R}}).эY|10|dYTheoremsandrelatedstructures(amsthmpack@age)dY10.1xIn9troQduction1YTheamsthmpackqageprovidesanenhancedversionoftheL5ffA͉TU>'ExXcommand\new-Ytheoremforde ningtheorem-likeenvironments.kTheamsthmversionoftheY\newtheorem9Ͳcommandrecognizesa\theoremstylespGeci cation(asinMit-Ytelbach's.theorempackqage)andhasa*formforde ningunnumbGeredenviron-Yments.Theamsthmpackqagealsode nesaproofenvironmentthatautomati-YcallyͬaddsaQ.E.D.symbGolattheend.AMS͍documentclassesautomaticallyYloadctheamsthmpackqage,gxsoeverythingdescribGedhereappliestothemaswell.YAnUUexample lethmtest.texisprovidedintheAU>'M S-L5ffA͉TU>'ExXdistribution.Y !Cffv J= "5-:1LIfyÎouactuallytriedthisexampleyouwoulddiscoverthatthecommand\vecisalready de ned.It7pro'ExXas#environments.cLBut)L5ffA͉TU>'ExXdoGcumentclassesnormallydonotprovideprede ned#environmentsfortheorem-likeelementsbGecause(a)thatwouldmakeitdicult#fornauthorstoexercisethenecessarycontrolovertheautomaticnumbGering,#and(b)thevqarietyofsuchelementsissowidethatit'sjustnotpGossiblefora#doGcumentclasstoprovideeveryonethatwilleverbGeneeded.!Insteadthereis#ajYcommand\newtheorem,osimilarto\newenvironmentine ect,thatmakesit#easyUUforauthorstosetuptheelementsrequiredforaparticulardoGcument.2Thei\newtheoremcommandhastwoimandatoryarguments;sthe rstoneis#theڗenvironmentnamethattheauthorwouldliketouseforthiselement;7the#secondUUoneistheheadingtext.qF*orexample,#\newtheorem{lem}{Lemma}#meansUUthatinstancesinthedoGcumentof#\begin{lem}?Texttext...\end{lem}#willUUproGducemELemmaT1.qT;exttext:::#wheref theheadingconsistsofthespGeci edtext`Lemma'andanautomatically #generatedUUnumbGerandpunctuation.2If\newtheorem*isusedinsteadof\newtheoremintheabGoveexample,there#willnotbGeanyautomaticnumbGersgeneratedforanyofthelemmasinthe#doGcument.GThisformofthecommandcanbeusefulifyouhaveonlyonelemma#and'don'twant'ittobGenumbered;^more'often,2[though,itisusedtoproGduce#aspGecialnamedvqariantofoneofthecommontheoremtypGes.\F*orexample,>if#youhavealemmawhosenameshouldbGe`Klein'sLemma'insteadof`Lemma'#+UUnumbGer,thenthestatement#\newtheorem*{KL}{Klein's?Lemma}#wouldUUallowyoutowrite#\begin{KL}?Texttext...\end{KL}#andUUgetthedesiredoutput.38#10.3BNum9bQeringTmodi cations#Inadditiontothetwomandatoryarguments,\newtheoremhastwomutually #exclusiveLoptionalarguments.nThesea ectthesequencingandhierarchyofthe#numbGering.^s\ȍ8Y24%10. THEOREMSXANDRELAJTEDSTRÎUCTURES8GhBydefaulteachkindoftheorem-likeenvironmentisnumbGeredindepen- Ydently*.ThusjAifyouhavethreelemmasandtwotheoremsinterspGersed,{theyYwillmbGenumberedmsomethinglikethis:PLemma1, Lemma2,Theorem1,LemmaY3,_Theorem]2.IfyouwantlemmasandtheoremstosharethesamenumbGeringYsequence|Lemma1,0NLemma2,Theorem3,Lemma4,Theorem5|thenyouYshouldUUindicatethedesiredrelationshipasfollows::ɍY\newtheorem{thm}{Theorem}Y\newtheorem{lem}[thm]{Lemma}YTheoptionalargument[thm]inthesecondstatementmeansthatthelemYenvironmentshouldsharethethmnumbGeringsequenceinsteadofhavingitsYownUUindepGendentsequence.hT*ojhaveatheorem-likeenvironmentnumbGeredsubordinatelywithinasec-Ytionalunit|e.g.,vtogetpropGositionsnumberedProposition2.1,vProposition2.2,YandmsooninSection2|putthenameoftheparentunitinsquarebracketsinY nalUUpGosition:Y\newtheorem{prop}{Proposition}[section]YWithvmtheoptionalargument[section],thepropcounterwillbGeresetto0YwheneverUUtheparentcountersectionisincremented.38Y10.4xChangingTst9ylesfortheorem-likeenvironmentsȍY10.4.1TheT\theoremstylecommandfdYTheuamsthmpackqagesuppGortsthenotionofacurrenttheoremstyle,}whichde-YterminesswhatwillbGeproducedbyagiven\newtheoremcommand.ͭThethreeYtheoremstylesprovided|plain,definition,andremark|receivedi erentty-YpGographicaltreatmentthatgivesthemvisualemphasiscorrespGondingtotheirYrelativeimpGortance.7ThedetailsofthistypGographicaltreatmentmayvqaryde-YpGendingBonthedocumentclass,~hbuttypicallytheplainstyleproGducesitalicYbGodyUUtext,whiletheothertwoUUstylesproGduceromanbodytext.hT*o7createnewtheorem-likeenvironmentsinthedi erentstyles,=divideyourY\newtheorem;commandsintogroupsandprefaceeachgroupwiththeappro-Ypriate`a\theoremstyle.Ifno\theoremstylecommandisgiven,c$thestyleusedYwillUUbGeplain.qSomeexamples:Y\theoremstyle{plain}%?defaultY\newtheorem{thm}{Theorem}[section]Y\newtheorem{lem}[thm]{Lemma}Y\newtheorem{prop}[thm]{Proposition}Y\newtheorem*{cor}{Corollary}Y\newtheorem*{KL}{Klein's?Lemma}Y\theoremstyle{definition}Y\newtheorem{defn}{Definition}[section]Y\newtheorem{conj}{Conjecture}[section]Y\newtheorem{exmp}{Example}[section]s\ȍ8#10. THEOREMSXANDRELAJTEDSTRÎUCTURES%258G#\theoremstyle{remark} #\newtheorem*{rem}{Remark}#\newtheorem*{note}{Note}#\newtheorem{case}{Case}]#10.4.2KNum9bQerTswappingč#Anotuncommonstylevqariationfortheoremheadsistohavethetheorem#numbGer4ontheleft,latthebeginningoftheheading,linsteadofontheright.#As~ thisvqariationisusuallyappliedacrossthebGoardregardlessofindividual#\theoremstyleSchanges,SnumbGer-swappingisdonebyplacinga\swapnumbers#commandatthebGeginningofthelistof\newtheoremstatementsthatshould#bGeUUa ected.qF*orexample:]#\swapnumbers#\theoremstyle{plain}#\newtheorem{thm}{Theorem}#\theoremstyle{remark}#\newtheorem{rem}{Remark} #Afterx&theabGovex&declarations,theoremandremarkheadswillbeprintedinthe#formUU1.4TTheorem.,9.1.R}'emark._#10.4.3KF urtherTcustomizationpQossibilities#Moreajextensivecustomizationcapabilitiesareprovidedbytheamsthmpackqagein#the:formofa\newtheoremstylecommandandamechanismforusingpackqage#optionstoloadcustomtheoremstylede nitions.L0Asthesecapabilitiesaresome-#whatbGeyondtheneedsoftheaverageuser,discussionofthedetailsisconsigned#toUUtheexample lethmtest.texandtothecommentaryinamsthm.dtx.#10.5BProQofsd(#A.0prede ned.:proofenvironment.:providedbytheamsthmpackqageproGducesthe#heading>\ProGof"withappropriatespacingandpunctuation.-Theproofenvi-#ronment3isprimarilyintendedforshortproGofs,nomorethanapageortwoin#length;YlongerXproGofsareusuallybetterdoneasaseparate\sectionor\sub-#sectionUUinyourdoGcument. `2A`Q.E.D.'symbGol,offdffYffff ,isautomaticallyappendedattheendofaproof#environment.9T*osubstituteadi erentend-of-proGofsymbGol,Zuse\renewcommand#torede nethecommand\qedsymbol.]F*oralongproGofdoneasasubsectionor#sectionTinsteadofwiththeproofenvironment,T\youTcanobtainthesymbGoland#theUUusualamountofprecedingspacebyusing\qed.2PlacementkoftheQ.E.D.symbGolcanbeproblematicifthelastpartofa#proof]environmentisadisplayedequationorlistenvironmentorsomethingof#that={nature.iAdequateresultscansometimesbGeobtainedbyusing\qedatthe#appropriateuSspGotandthenunde ning\qedjustbeforetheendoftheproof.#(The3e ectwillbGeautomaticallylocalizedtothecurrentproofbynormalL5ffA͉TU>'ExX#scopingUUrules.)qF*orexample:s\ȍ8Y26%10. THEOREMSXANDRELAJTEDSTRÎUCTURES8GY\begin{proof} Y...Y\begin{equation}YG(t)=L\gamma!\,t^{-\gamma}+t^{-\delta}\eta(t)?\qedY\end{equation}Y\renewcommand{\qed}{}\end{proof}hAnToptionalargumentoftheproGofenvironmentallowsyoutosubstituteaYdi erent5nameforthestandard\ProGof".hIfyouwanttheproGofheadingtobe,Ysay*,UU\ProGofoftheMainTheorem",thenwriteY\begin{proof}[Proof?oftheMainTheorem]\s\ȍ8#App'M S-L5ffA͉TU>'ExXitisnecessaryforyoutohavearecentversion #of.L5ffA͉TU>'ExX(June1994orlater,`L5ffATU>'ExX2"%S').SIfyou'renotsureabGouttheversion,#loGokb!atthestartupmessagethatisprintedonscreenandintheTU>'ExXlogwhen#youHrunL5ffA͉TU>'ExX.NItshouldmentiontheL5ffA͉TU>'ExXversionnumbGeranddatesomewhere#inthe rsttenlines.IfyourversionofL5ffA͉TU>'ExXisolderthanJune1994,Swe#suggestgettingthelatestversionfromtheComprehensiveTU>'ExXArchiveNetwork#(CT*AN),<:directory_tex-archive/macros/latex,A?ftpaddressesftp.cdrom.com#(US),;ftp.dante.de(Germany),@orftp.tex.ac.uk(UK).Ifftp letransferis#notfanoptionforyou,@jcontactfthesourcefromwhichyouoriginallyobtained#L5ffA͉TU>'ExX.#A.2@#PuttingT lesinasuitableplaceony9oursystem#SeeUUtheREAD.ME leforpGossibleupdatesaboutinstallationprocedures. S2Therezaretwoz`areas'(directoriesorfolders)onyoursystemthatareinvolved#ininstallingAU>'M S-L5ffA͉TU>'ExX:k%anAU>'MS-L5ffA͉TU>'ExXsource lesarea,0andaL5ffATU>'ExXinput# les8area.pAll lesintheinputssubGdirectoryoftheAU>'M S-L5ffA͉TU>'ExXdistribution#should̼bGeplacedintheL5ffA͉TU>'ExXinputdirectoryorfolderonyoursystem.D?Consult#your"TU>'ExXdoGcumentationifyoudon'tknowwherethisis.s/(Y*oucouldalsotry#loGokingforthe learticle.cls;Ktheplacewhereyou nditisalmostsurely#yourUUL5ffA͉TU>'ExXinput lesarea.)2Allother lesintheAU>'M S-L5ffA͉TU>'ExXdistribution(theonesinthemathand#classesdcsubGdirectories)canbeplacedinanAU>'M S-L5ffA͉TU>'ExXsource lesarea;if#youareinstallingAU>'M S-L5ffA͉TU>'ExXforthe rsttime,%createanewfolderordirectory#forUUthispurpGose.#A.3@#T esting #F*or'M S-L5ffA͉TU>'ExXuser'sguide(amsldoc.tex)ortest-#math.tex.#A.4@#ExtraTmathfon9ts #F*or^informationontheAMSFontscollection,asetofextramathfontsthat#supplementsUUthestandardsetofL5ffA͉TU>'ExXmathfonts,seexC.2.#A.5@#MemoryTrequiremen9ts #TU>'ExXHdividesupthememoryavqailabletoitintovqariouscategories.KOnmost#systems,0thesizesofthesecategoriesare xedatthebGeginningofaTU>'ExXrun#andEcannotdynamicallygrowtomeetunexpGecteddemands.C(Infactcertain#implementationsN8ofTU>'ExXhavethesizes xedatthetimeaformat leiscre-#ated,or>evenwhentheTU>'ExXprogramiscompiled.)TUseofextrapackqagesplacesРs\ȍ8Y28App'M S-L5ffA͉TU>'ExXma8jordoGc-Yumentstyles{ortheamsmathpackqage.P)Notallcategoriesarelisted;theonesthatYappGearUUaretheoneswhereproblemstendtooccurnowadays. vhNoteinparticularthatthebasevqalueforstringpGoolneedstobGemuchlargerYthanthevqaluestypicallyfoundattheendofaL5ffA͉TU>'ExXlog.QBThisisbGecausetheYstringEpGoolcapacityreportedbyTU>'ExXinresponsetoa\tracingstatscommandYis,notthebasevqalue,abuttheresultofsubtractingfromthebasevaluetheYnumbGerofcharactersinTU>'ExX'sbuilt-inerrormessages,=thenamesofprimitiveYcontrolysequences,%andthenamesofalladditionalcontrolsequencesde nedinYthe6format le(inourcase,oathewholeofL5ffA͉TU>'ExX),nottomentionfontnamesYand# lenames.iThustherepGortedvqalueonlymeasurestheamountofstringYcapacityCthatremainstotheuseraftertheformat leisloaded.TherepGortedYvqalueUUfornumbGerUUofstringsisreducedinthesameway*.g덍j^T ableTA.1.~.RecommendedUUvqaluesforselectedTU>'ExXmemorycategoriesZ@qXL͉ff(N"fd͟ ff] ffCapacity!  ff( ffͤ ff/ fdCategory͡ ffcGAdequate͟ ffGenerous͟ ffNRWEBUUvqariable̟ ffff(N"ͤ ff:fdstrings͡ ffw15000͟ ff30000͟ ffNRmax_strings  ffͤ ff EfdstringUUcharacters͡ ffr080000͟ ff300000͟ ffNRpool_size* ffͤ ffΟfdmacroUUstringpGool^ e ffr050000͟ ff270000͟ ffNRstring_vacancies͟ ffͤ fflПfdmainUUmemory͡ ffr080000͟ ff250000͟ ffNRmain_mem/̵ ffͤ ff FfdcontrolUUsequences͡ ffw15000͟ ff20000͟ ffNRhash_size* ffͤ ffP[fdfontUUinformation͡ ffr060000͟ ff300000͟ ffNRfont_mem_sizeğ ffͤ ff&fdnumbGerUUoffonts͡ ff~128͟ ffNN256͟ ffNRfont_max/̵ ffͤ ff#'fdinputUUbu er͡ ffw11000͟ ff5000͟ ffNRbuf_size/̵ ffͤ ff,,fdsaveUUstack͡ ffw12000͟ ff10000͟ ffNRsave_size* ffff(N"t}㍍v^{޲ThevnumbGerofstringcharactersleftformacropackqagesand{userJicommands,Lafterallprimitivesandbuilt-inerrormessages{have+bGeenloaded|i.e.,thetotalnumber+ofstringcharacters{avqailableforaformat leandindividualdoGcumentsusingthat{formatUU le.YA.6v#FilesTincludedinthisdistribution>YAsN lesareoGccasionallyaddedorremovedNfromthedistribution,iyoushouldYcheckUUtheREAD.ME leifyouwantthemostup-to-datepGossiblelist.fNcFileTnameoDescriptioncff6vcamsldoc.tex?thisUUuser'sguidecamslatex.faq frequentlyUUaskedquestionss\ȍ8#App'ExX-amsplain.bst BibliographyUUstyleforBibTU>'ExX-mrabbrev.bib BibTU>'ExX6abbreviationsforMR6journalnames;@nottobGe usedUUdirectlywithBibTU>'ExXbutasasourceforentries toUUbGeextracted$#|App`endixB|Fg#ErrormessagesandoutputproblemsFg#B.1?GeneralTremarks/#This isasupplementtoChapter8oftheL5ffA͉TU>'ExXmanual[5]( rstedition:KChap-#terw6).,F*orthereader'sconvenience,'ExXerrordurings\ȍ8Y30[JAppforimmediatehelp.^?...Yl.9?\end{alignat}Y??hY\An?extra&hereissodisastrousthatyoushouldprobablyexit^?and?fixthingsup.Y?YExplanationc:]InanalignatstructurethenumbGer]ofalignmentpointsperlineYis[dictatedbythenumericargumentgivenafter\begin{alignat}.CIfyouuseYmoreJalignmentpGointsinalineitisassumedthatyouaccidentallyleftoutaYnewlineUUcommand\\andtheabGoveUUerrorisissued.Y[^eFont?OMX/cmex/m/n/7=cmex7notloadable...YExample[:Y!?FontOMX/cmex/m/n/7=cmex7notloadable:Metric(TFM)filenotfound.YrelaxYl.8?$a's\ȍ8#App='.#?`#Explanationc:CertainextrasizesofsomeComputerMoGdernfontsthatwere#formerly3avqailablemainlythroughtheAMSF*ontsdistributionareconsidered#partofstandardL5ffA͉TU>'ExX(asofJune1994):cmex7{9,cmmib5{9,andcmbsy5{9.#Iftheseextrasizesaremissingonyoursystem,)youshouldtry rsttogetthem#fromthesourcewhereyouobtainedL5ffA͉TU>'ExX.2Ifthatfails,youcouldtrygetting#theSfontsfromCT*AN0(e.g.,intheformofMetafontsource les,directory/tex-#archive/fonts/latex/mf,!orwinPostScriptTypGe1format,!directory/tex-#archive/fonts/cm/ps-type1/bakoma). 2If0thefontnamebGeginswithcmex,@fthereisaspecialoptioncmex10for#thetamsmathpackqagethatprovidesatempGoraryworkqaround.%#I.e., changethe#\usepackageUUto#\usepackage[cmex10]{amsmath}#Thiswillforcetheuseofthe10-pGointsizeofthecmexfontinallcases.IFDepGend-#ingUUonthecontentsUUofyourdoGcumentthismaybGeadequate.#%(/Foreign?command\over;use\fracor\genfracinstead #Example[:#!?PackageamsmathError:Foreigncommand:\over;use\fracor\gen-#frac?instead.#See?theamsmathpackagedocumentationforexplanation.#Type H?forimmediatehelp.(?...#l.49?Fractions${1\over2}$?and#?#Explanationc:92TheprimitivegeneralizedfractioncommandsofTU>'ExXaredisallowed#by:jtheamsmathpackqagebGecausetheirsyntaxisforeigntoL5ffA͉TU>'ExX.yThesubstitutes#\fracUUand\genfracareprovidedinstead.qSeex3.11.1forfurtherinformation.#%(/Math?formuladeleted:Insufficientextensionfonts #Example[:#!?Mathformuladeleted:Insufficientextensionfonts. ާs\ȍ8Y32[JAppaYl.100?\end{alignat}Y??hYA?numbershouldhavebeenhere;Iinserted`0'.Y(If?youcan'tfigureoutwhyIneededtoseeanumber,Ylook?up`weirderror'intheindextoTheTeXbook.)Y?YExplanationc:/TherearemanypGossibilitiesthatcanleadtothiserror.eHowever,YonePpGossibilitythatisrelevqantfortheamsmathisthatyouforgottogivetheYnumbGerUUargumentofanalignatenvironment,asin:8䍑Y\begin{alignat}^?a& =b&c&?=d\\Ya'&?=b'&c'&=d'Y\end{alignat}YwhereUUthe rstlineshouldreadinstead8䍑Y\begin{alignat}{2}hAnotherpGossibilityisthatyouhavealeftbracketcharacter[followingaYlinebreak.command\\inamultilineconstructionsuchasarray,%tabular,orYeqnarray.iThis; willbGeinterpretedbyL5ffA͉TU>'ExXasthebGeginningofan`additionalYvertical~space'request[5,xC.1.6],even~ifitoGccursonthefollowinglineandisYintendedUUtobGepartofthecontents.qF*orexample8䍑Y\begin{array}Ya+b\\Y[f,g]\\Ym+nY\end{array}YT*olpreventtheerrormessageinsuchacase,"4youcanaddbracesasdiscussedinYtheUUL5ffA͉TU>'ExXmanual[5,xC.1.1]:!gs\ȍ8#Appv\right?.#l.10?\end{multline}#??h#I've?insertedsomethingthatyoumayhaveforgotten.#(See?theabove.)#With?luck,thiswillgetmeunwedged.Butifyou#really?didn'tforgetanything,trytyping`2'now;then#my?insertionandmycurrentdilemmawillbothdisappear.ۍ#Explanationc:&Thiserrortypicallyariseswhenyoutrytoinsertalinebreakinside#aUU\left-\rightpairofdelimitersinamultlineorsplitenvironment:#\begin{multline}#AAA\left(BBB\\-CCC\right)#\end{multline}ۍ#TherearetwopGossiblesolutions:)(1)insteadofusing\leftand\right,!use#`big'delimitersof xedsize(\bigl\bigr\biggl\biggr:::;seex3.14.1);or#(2)`usenulldelimiterstobreakupthe\left-\rightpairintopartsforeach#line:#AAA\left(BBB\right.\\-\left.CCC\right)ۍ#TheQlattersolutionmayresultinmismatcheddelimitersizes;Sensuringthatthey#matchBrequiresusing\vphantominthelinethathasthesmallerdelimiter(or#pGossiblyx\smashinthelinethathasthelargerdelimiter)./Intheargumentof#\vphantomUUputacopyofthetallestelementthatoGccursintheotherline,e.g.,#xxx?\left(\int_tyyy\right.\\-\left.\vphantom{\int_t}?zzz...\right)I$#%(/Paragraph?endedbefore\xxxwascomplete I#Example[:"ns\ȍ8Y34[JApp\parYl.100Y??hYI?suspectyou'veforgottena`}',causingmetoapplythisYcontrol?sequencetotoomuchtext.Howcanwerecover?YMy?planistoforgetthewholethingandhopeforthebest.Y?rYExplanationc:uThismightbGeproducedbyamisspellinginthe\end{equation}Ycommand,UUe.g.,Y\begin{equation}Y...Y\end{equatin}Yor&(byusingabbreviationssuchas\beqand\eeqfor\begin{equation}andY\end{equation}:Y\beqY...Y\eeqYThatZkindofabbreviationworksinordinaryL5ffA͉TU>'ExXbutfortechnicalreasonsYitĄdoGesnotworkwithanyofthedisplayedequationenvironments(gather,Yalign,Msplit,equation,etc.)Owhentheamsmathpackqageisused.W*orktoYre-enabletheuseofsuchabbreviationsisunderway*,HbutnontrivialtechnicalYcomplicationsUUareinvolvedUU(cf.technote.tex).Y[^eRunaway?argument?hSeethediscussionfortheerrormessageParagraph?endedbefore\xxxYwas?complete.Y[^eUnknown?option`xxx'forpackage`yyy'YExample[:rY!?LaTeXError:Unknownoption`intlim'forpackage`amsmath'.Y...Y??hYThe?option`intlim'wasnotdeclaredinpackage`amsmath',perhapsyouYmisspelled?itsname.Trytyping to?proceed.Y?YExplanationc:&ThismeansthatyoumisspGelledtheoptionname,orthepackqageYsimplyͼdoGesnothaveͼanoptionthatyouexpectedittohave.ConsultͼtheYdoGcumentationUUforthegivenpackqage.#ds\ȍ8#AppyouloGokingatthe rstsectioninyourdoGcument?jGCheckthesectionnum-#bGersUUelsewheretoseeiftheproblemistheonedescribedinxB.3.1.#B.3.3HDouble accen9tcommandfailedtopQositionthesecondaccentHpropQerly#TheacapitalizationofthecommandnamesisimpGortant.Checkawhetherallof#theUUaccentcommandsarecapitalized.qCompareeU^*x䍒^?AU^*x䍒c^AU㎲^*x䍒^@A,#\[\hat{\hat{A}}\quad\Hat{\hat{A}}\quad\Hat{\Hat{A}}\]ѽ#B.3.4HTheT\boldsymbolcommanddidn'tw9ork#ThisprobablymeansthatthefontnecessarytoproGduceaboldversionofthe#symbGolinquestionisnotavqailableonyoursystemornotinstalledinawaythat#L5ffA͉TU>'ExX Ocanuseit.F*orexample,7bGoldversionsoftheAMS !extrasymbGolfonts#msam nandmsbmdonotcurrentlyexist,7so\boldsymbol{\square}willmerely#proGduceUUthesameresultas\squarealone.2Also,Uthe"Yweightofthefontscmmibandcmbsyis`bGold'ratherthan`bold#extended'9asforcmbx.^DepGendingonthesymbolinquestionandtheresolution#ofyourprinter(orpreviewer),asymbGolthatwastakenfromoneofthosetwo#bGold(symbolfontsmightbGenearlyindistinguishablefromthenon-boldversion. #|App`endixC|#Otherusefulitemsformathematicaldo`cuments#C.1?AMSTdoQcumen9tclasses(amsart,amsbook,amsproc)ȍ#TheAmericanMathematicalSoGcietyprovidescustomAU>'M S-L5ffA͉TU>'ExXdoGcument#classesforAMSjournalsandbGookseries.`Thesemayobtainedbyanonymous#FTP0fromthee-MA*THsysteme-math.ams.org,e/directory*,intheauthor-#infoϲarea.5(NotethatdirectorystructuresmayoGccasionallychange;ifyou$s\ȍ8Y36ZApp'ExXmathfonts.%ItincludesL5ffATU>'ExXpackqagescalledamsfontsYandVfamssymbthatmakeiteasytousetheextrafontsinaL5ffA͉TU>'ExXdoGcument.YIfyoudon'thavetheAMSF*ontscollectionalreadyonyoursystem,andwouldYliketousesomeofthesymbGolsinit,>xitcanbeobtainedbyanonymousFTPYfromiCT*ANiW(seexA.1)orfromthee-MATHiWsystemate-math.ams.org.ItYcanalsobGeorderedondiskfromtheAMSCustomerServicesDepartmentatYcust-serv@ams.orgUUor800-321-4267.YC.3uSyn9taxTchecking(thesyntonlypack\rage)ȍYIf@youareworkingonarelativelyslowcomputersystemyoumightwanttotryYthe45syntonlypackqage.gThismakesL5ffA͉TU>'ExXskimthroughyourdoGcumentonlyYcheckingC=forpropGersyntaxandusageofthecommands,FbutnotproducinganyYprinted5pages.yfAsL5ffA͉TU>'ExXrunsquiteabitfasterunderthoseconditions,,forYearlyďerror-checkingrunsofadoGcumentthiscansaveyouvqaluabletime.vTheYsyntonly packqageisastandardL5ffA͉TU>'ExXpackqagesoyoushould nditalreadyonYyourUUsystem;touseit,write΍Y\usepackage{syntonly}Y\syntaxonlyYWhen.youwanttoproGducepages,ecommentoutthesecondlinebyaddingaYpGercentUUcharacter:Y%\syntaxonlyYC.4uV erbatimTandcommen9ts(theverbatimpack\rage)ȍYTheverbatimpackqageisanotherstandardL5ffA͉TU>'ExXpackqage,likesyntonly.RInYadditiondktosomeminorenhancementsfortheverbatimenvironment,itprovidesYa'!commentenvironment'!thatskipseverythingbGetween\begin{comment}andYtheUnext\end{comment}.Acommand\verbatiminputisalsoprovidedforYtypGesettingUUawhole leinverbatimstyle.38YC.5uComm9utativediagramsandotherdiagrams(pac9k\ragesdiagram,uxypic,Tpstricks)YThe|EamscdpackqageforcommutativediagramsthatisincludedintheAU>'M S-YL5ffA͉TU>'ExXYdistributionisquitelimited.ZThefollowingpackqagesareworthinvesti-Ygationc=forauthorswhoneedmorepGowerfulc=diagramfeatures:diagram,fxypic,Ypstricks.HTheseLareavqailablebyanonymousFTP,fromCT*AN(seexA.1).HTheYdiagramdpackqage,byMichaelBarr,foGcusesoncommutativediagramsandisYthussmallerthantheothers;GitusesL5ffA͉TU>'ExXarrowsasproGducedby\vector% ܠs\ȍ8#App'M S-L5ffA͉TU>'ExX;^theyarerelegatedtoaseparatedoGcumentbecause#theyUUareunlikelytobGeofinteresttomostusers.X#D.2@CDi erencesfbQet9weenA<8M lxS-L*AT<8E3sXversion1.1andA<8M lxS-L*AT<8E3sX@Cv9ersionT1.2#V*ersion],1.2ofAU>'M S-L5ffA͉TU>'ExX llsinsomegapsandcorrectssomemistakesinthe#AU>'M S-L5ffA͉TU>'ExX1.1featureset.rThesigni cantdi erences,fromauser'spGerspec-#tive,UUaredescribGedinthedocumentdiff12.tex. ȍ#|App`endixE|ȍ#Gettinghelpȍ#QuestionsUUorcommentsregardingtheAU>'M S-L5ffA͉TU>'ExXpackqageshouldbGesentto:;NZ\qV#AmericanUUMathematicalSoGcietyV#T*echnicalUUSuppGortV#ElectronicUUProGductsandServicesV#P*.UUO.Box6248V#Providence,UURI02940V#Phone:q800-321-4AMSUU(321-4267) UVor401-455-4080V#Internet:qtech-support@ams.org:b<#IfhyouarerepGortingaproblemyoushouldincludethefollowinginformationto#makeUUpropGerinvestigationpGossible:$X/81.<TheRsource lewheretheproblemoGccurred,preferablyreducedtomini-<mumsizebyremovinganymaterialthatcanbGeremovedwithouta ecting<theUUobservedproblem. /82.<A.=L5ffA͉TU>'ExX.Glog leshowingtheerrormessage(ifapplicable)andtheversion<numbGersUUofthedocumentclassandoption lesbeingused.&s\ȍ8Y38 bBIBLIOGRAPHY8GYE.1tF urtherTinformationȍYInformation\abGoutobtainingAMSF*ontsorotherTU>'ExX-relatedsoftwarefromthe YAMS Internet archivee-math.ams.orgcanbGeobtainedbysendingarequestYthroughUUelectronicmailto:qwebmaster@ams.org.hInformationabGoutobtainingAU>'M S-L5ffA͉TU>'ExXondiskettefromtheAMSisavqail-YableUUfrom:/\q#AmericanUUMathematicalSoGciety#CustomerUUServices#P*.UUO.Box6248#Providence,UURI02940#Phone:q800-321-4AMSUU(321-4267) UVor401-455-4000#Internet:qcust-serv@ams.org1vhThe޳TU>'ExXUsersGroupisanonpro torganizationthatpublishesajournalY(TUGb}'oatز),'ExXandTU>'EX-relatedsoftware.+8N8#TU>'ExXUUUsersGroup#1850UUUnionStreet,#1637#SanUUF*rancisco,CA94123#Phone:q(415)UU982-8449#Internet:qtug@tug.org+=YMembGershipintheTU>'ExXUsersGroupisagoodwaytosupportcontinuedde-Yvelopment9offreeTU>'ExX-relatedsoftware.There9arealsomanyloGcalTU>'EXuserYgroupsy.inothercountries;informationabGoutcontactingaloGcalusergroupcanYbGeUUgottenfromtheTU>'ExXUsersGroup.hThereisaUsenetnewsgroupcalledcomp.text.texthatisafairlygoGodYsource)ofinformationabGoutL5ffA͉TU>'ExXandTU>'EXingeneral. 'CIfyoudon'tknowYabGout)4readingnewsgroups,2check)4withyourlocalsystemadministratortoseeifYnewsgroupUUserviceisavqailableatyoursite. YBibliographyY[1]h;AMSF;onts.version2.2|user'sguide,Amer.Math.SoGc.,Providence,RI,h;1994;UUdistributedwiththeAMSF*ontspackqage.Y[2]h;Instructionsuforpr}'eparationuofp}'apersuandmono}'graphs|AU>'M S-L雍QATKß'E-X,4Amer.h;Math.UUSoGc.,Providence,RI,1996.Y[3]h;MichelGoGossens,JF*rankMittelbach,JandAlexanderSamarin,TheL雍QATKß'E-Xh;c}'ompanion,UUAddison-W*esley,Reading,MA,1994.Y[4]h;DonaldUUE.Knuth,TheTKß'E-Xb}'ook,UUAddison-W*esley,Reading,MA,1984.Y[5]h;LeslievLampGort,?L雍QATKß'E-X:AEdo}'cumentpreparationsystem,?2ndvreviseded.,h;Addison-W*esley,UUReading,MA,1994.''Cs\ȍ8#BIBLIOGRAPHY b398G#[6]2;F*rankMittelbachandRainerSchopf,"The*newfontfamilysele}'ction|user 2;interfac}'etostandardL雍QATKß'E-X,UUTUGboatH-11,no.2(June1990),pp.297{305.#[7]2;MichaelfwSpivqak,jThejoyofTKß'E-X,2ndfwreviseded.,Amer.Math.SoGc.,Provi-2;dence,UURI,1990.(3Js\ȍ88GUTYIndex UTY\!,UU10 ,uY\,,UU10Y\:,UU10Y\;,UU10Y\\,UU3,7,8,30,32Y\\*,UU8Y\|,UU16_Y\above,UU13Y\abovewithdelims,UU13Y\accentedsymbol,UU1,12Yaccentsmdouble,UU12Y\addtocounter,UU9,10Y\addtolength,UU3YalignUUenvironment,3,5,6,34YalignatUUenvironment,6,30,32YalignedUUenvironment,6Y\allowdisplaybreaks,UU7,8Yamsalpha.bst,UU29YamsartUUclass,29,35YamsbookUUclass,29,35YamsbsyUUpackqage,1,18Yamsbsy.dtx,UU29YamscdUUpackqage,1,20,21,36Yamscd.dtx,UU29Yamsclass.dtx,UU29Yamsdtx.dtx,UU29YamsfontsUUpackqage,21,36YAMSF*ontsUUcollection,21,31,36Yamsgen.dtx,UU29YamsintxUUpackqage,1,19,20Yamsintx.dtx,UU20,29YAU>'M S-L5ffA͉TU>'ExXUUuser'sguide,27Yamslatex.bug,UU28Yamslatex.faq,UU28Yamslatex.ins,UU29Yamsldoc.tex,UU27,28YamsmathUUenvironment,32Yamsmath packqage,*1{3,5,7,9{19, 28,UU31,34Yamsmath.dtx,UU29 UTamsopnUUpackqage,1,17,18 amsopn.dtx,UU29amsplain.bst,UU29amsprocUUclass,29,35amssymbUUpackqage,36AU>'M S-TU>'ExX,UUvamstexUUpackqage,29amstex.sty,UU29amstextUUpackqage,1,18amstext.dtx,UU29amsthmMpackqage,۵vi,1,22,24,25,29amsthm.dtx,UU25,29amsxtraUUpackqage,1,12amsxtra.dtx,UU29arrayUUenvironment,9,10,32arrows+extensible,UU13+inUUcommutativediagrams,21article.cls,UU27\atop,UU13\atopwithdelims,UU13author-info,UU35VBaKoMaUUfonts,31\big,\Big,\bigg,֧:::Ddelimiters,?16\biggl,UU33\biggr,UU33\bigl,UU33\bigr,UU33\binom,UU13,14binomials,UU14bmatrixUUenvironment,9BmatrixUUenvironment,9\bmod,UU18\boldsymbol,UUvi,1,18,19,29,35\boxed,UU13\C,UU22casesUUenvironment,7CDUUenvironment,1,21centertagsUUoption,1\cfrac,UU15K40)5Fs\ȍ8#INDEX2418G#classes,UU27 #cmbsy,UU35#cmbsy5,UU31#cmbx,UU35#cmex,UU31#cmex10,UU31#cmex7,UU31#cmmib,UU35#cmmib5,UU31#commentUUenvironment,36#commutativeUUdiagrams,36#comp.text.tex,UU38#Comprehensive8TU>'ExXArchiveNetwork, Kse}'eCT*AN#continuedUUfractions,14#CT*AN,UU27,36$#\dbinom,UU14#\ddddot,UU12#\dddot,UU12#\ddot,UU12#\DeclareMathOperator,UU1,17#definitionUUtheoremstyle,24#delimiters7sizeUUadjustments,15#\dfrac,UU13,14#diagramUUpackqage,36#diff12.tex,UU29,37#di erentialUUnotation,20#\displaybreak,UU7,8#displayedUUequations,27centering,UU2#displaymathUUenvironment,3#\displaystyle,UU14#\documentclass,UU2#\dot,UU12#dots,UUse}'eellipsisdots#\dots,UU11#\dotsb,UU11#\dotsc,UU11#\dotsi,UU11#\dotsm,UU11#e-math.ams.org,UU35{37#ellipsisUUdots7inUUmatrices,10\end,UU11 beqnarray2environment,j`vi,2,3,7,  32\eqref,UU9equation2environment,j`vi,2,3,5, 30,UU34equationUUnumbGerscross-references,UU9hierarchy*,UU9leftUUorrightplacement,2overriding,UU3subGordinateUUnumbering,UU9verticalUUplacement,1equation*UUenvironment,3equations,UUse}'edisplayedequationseucalUUpackqage,21Vi\fbox,UU13\field,UU22fleqnUUoption,2,5fntguide.tex,UU21\frac,UU13{15,31fractions,UU13\fracwithdelims,UU1FTP*,UU36ftp.cdrom.com,UU27ftp.dante.de,UU27ftp.tex.ac.uk,UU27function̞names,se}'eopGeratornamesgatherUUenvironment,5,30,34gatheredUUenvironment,6\genfrac,UU13,14,31\Hat,UU12\hat,UU12\hdotsfor,UU10horizontalUUspacearoundUUopGeratornames,17inUUmathmoGde,10\idotsint,UU19\iiiint,UU19\iiint,UU19\iint,UU19inputs,UU27*@s\ȍ8Y422INDEX8GYinstallation,UU27 Yinstr-l.tex,UU29Y\int,UU20Yintegrals,UU20mmultiple,UU19mplacementUUoflimits,2Y\intertext,UU8YintlimitsUUoption,2Y\label,UU9YLampGort,UULeslie,vY\langle,UU16Y\left,UU15,16,33Y\leftroot,UU12YleqnoUUoption,2Y\lim,UUvi,1,17Ylimits,qse}'e>subscripts8andsupGerscriptsY\log,UU17Y\lVert,UU16Y\lvert,UU16Ymath,UU27YmathUUfonts,21mbGoldUUsymbols,18YmathUUsymbGols,se}'emathfontsY\mathbf,UU18,21,22Y\mathcal,UU21Y\mathit,UU21Y\mathrm,UU21Y\mathsf,UU21Y\mathtt,UU21Ymatrices,UU9mellipsisUUdots,10YmatrixUUenvironment,9Y\mbox,UU18Y\medspace,UU10YMetafontUUsource les,31YMittelbach,UUF*rank,vY\mod,UU18Ymrabbrev.bib,UU29Ymsam,UU35Ymsbm,UU35Y\mspace,UU11YmultlineUUenvironment,3,5,33Y\multlinegap,UU3YnamelimitsUUoption,2\negmedspace,UU10 \negthickspace,UU10\negthinspace,UU10\newcommand,UU12,21\newenvironment,UU23\newtheorem,UUvi,1,22{25\newtheorem*,UU23,29\newtheoremstyle,UU25\nobreakdash,UU11,12nointlimitsUUoption,2\nolimits,UU20nonamelimitsUUoption,2nosumlimitsUUoption,2\notag,UU3\numberwithin,UU9,34,35P opGeratorUUnames,17\over,UU13\overleftarrow,UU11\overleftrightarrow,UU11\overrightarrow,UU11\overset,UU13\overwithdelims,UU13pageUUbreaks,7\pagebreak,UU8plainUUtheoremstyle,24pmatrixUUenvironment,9\pmb,UU1,18,19,29\pmod,UU18\pod,UU18PostScriptUUfonts,31proofUUenvironment,vi,1,22,25proGofs,UU23pstricksUUpackqage,36\qed,UU25\qedsymbol,UU25\qquad,UU10\quad,UU10,11\R,UU22\raisetag,UU7\rangle,UU16READ.ME,UU27,28\ref,UU1,9,29+Js\ȍ8#INDEX2438G#remarkUUtheoremstyle,24 #\renewcommand,UU22,25#reqnoUUoption,2#\right,UU15,16,33#\rVert,UU16#\rvert,UU16$#\savebox,UU12#Schopf,UURainer,v#\scriptscriptstyle,UU14#\scriptstyle,UU14#\section,UU25#\setcounter,UU9,10#\setlength,UU3#\shoveleft,UU3#\shoveright,UU3#\sideset,UU13,20#\sin,UUvi,1,17#smallmatrixUUenvironment,10#\smash,UU15,33#Spivqak,UUMichael,v#splitUUenvironment,3,5,30,33,34#\square,UU35#\stackrel,UU13#subarrayUUenvironment,19#subeqn.tex,UU3,27,29#subequationsUUenvironment,9#subscriptsUUandsupGerscripts,137multi-line,UU197onUUsums,207placement,UU2#\subsection,UU25#\substack,UU19#\sum,UU20#sumlimitsUUoption,2#sums,UU20#supGerscripts,se}'eAsubscriptsandsu- KpGerscripts#\swapnumbers,UU25#syntonlyUUpackqage,36#tabularUUenvironment,32#\tag,UU3#\tag*,UU3#\tbinom,UU14#tbtagsUUoption,1technote.tex,UU13,29,34,37 testmath.tex,UU3,27,29TU>'ExXUUUsersGroup,38\text,UU1,6,7,18,29textUUfragmentsinsidemath,8,18\textstyle,UU14\tfrac,UU13,14\theequation,UU8,9theoremUUpackqage,22theorems,UU23numbGering,UU23\theoremstyle,UU22,24,25,29\thickspace,UU10\thinspace,UU10thmtest.tex,UU22,25,29TUGb}'oat,UU38\underleftarrow,UU11\underleftrightarrow,UU11\underrightarrow,UU11\underset,UU13uprefUUpackqage,1upref.dtx,UU29\uproot,UU12\usepackage,UU1,2,31\value,UU9\varinjlim,UU17\varliminf,UU17\varlimsup,UU17\varprojlim,UU17\vec,UU22\vector,UU36verbatimUUenvironment,36verbatimUUpackqage,36\verbatiminput,UU36VmatrixUUenvironment,9vmatrixUUenvironment,9\vphantom,UU33\xleftarrow,UU13\xrightarrow,UU13\xxx,UU34xypicUUpackqage,36T;s\11t}\cmti7/ђcmbsy7,DF cmmib10*#fcmti8)Cscmtt8(߆T cmtt12'': cmti10&2@cmbx8%Ɍ cmbsy10$ cmmi10 0ercmmi7O \cmmi5K`y cmr10ٓRcmr7Zcmr5u cmex10_