OPQRST999ddd.com

UsingtheMathTmeProfessionalIIfontswithLATEXWalterSchmidt2006/05/03AbstractThisdocumentdescribesthemacropackagemtpro2,whichservesforusingtheMathTmeProfessionalIIfontswithLATEX.
Thepackagecodewaspar-tiallyadoptedfromthemathtimepackagewrittenbyFrankMittelbachandDavidCarlisle.
Contents1TheMathTmeProfessionalfonts42Themtpro2package42.
1Litevs.
Completefontset42.
2Textfonts52.
3Greekletters52.
4Numbersandpunctuationinmathmode62.
5Boldmathfonts62.
5.
1Emboldeningcompleteformulas62.
5.
2Boldlettersandsymbols62.
5.
3'Heavy'symbols72.
6Calligraphicmathalphabet72.
7Frakturmathalphabet82.
8VariantlettersintheFrakturandScriptalphabets82.
9'BlackboardBold'mathalphabet92.
10Positioningofsubscripts102.
11Stylesofoperatorsymbols102.
12Thebigdifferences102.
12.
1Extra-largedelimitersandroots102.
12.
2Extra-largeunder-andoverbraces122.
12.
3Extra-largeoperatorsymbols122.
13Accentsinmath132.
14AdditionalsymbolsnotavailablewithstandardLATEX14Thisdocumentreferstoversionv1.
1ofthemtpro2package.
12.
14.
1Integrals142.
14.
2Negatedrelationsymbols142.
14.
3Miscellaneoussymbols142.
14.
4Alternativeshapesofzinmathmode152.
15AMSsymbols152.
15.
1Ordinarysymbols162.
15.
2Delimiters162.
15.
3Binaryoperators172.
15.
4Binaryrelations182.
15.
5Negatedrelations192.
15.
6Arrows192.
15.
7Alternativesymbolnames203Transitionfrommtprotomtpro2214Optionsummary215UsingtheCurly,Script,Frakturanddoublestrokefontswithoutthemtpro2package236Theimplementationofmtpro2236.
1Options236.
2Fonts266.
3Mathalphabetdeclarations286.
3.
1Thestandardalphabets286.
3.
2Boldmathalphabets286.
3.
3Scriptalphabets286.
3.
4Calligraphicalphabets296.
3.
5Frakturalphabets306.
3.
6PreliminariesfortheMathScriptandFrakturfonts.
.
.
.
306.
3.
7BlackboardBoldalphabet326.
4Mathsymboldeclarations336.
4.
1Existingsymbols336.
4.
2Bigoperators426.
4.
3Newsymbolsandaccents426.
4.
4Compatibilitywithamsmath456.
5Largedelimiters,accentsandroots466.
6Extra-largeoperators526.
7Largeover-andunderbraces586.
8AMSsymbolssupport606.
9Mathfontsizes656.
10Encoding-specictextcommands666.
11Encoding-specicmathcommands676.
12Subscriptcorrection676.
13Alternativez6827Thefontdenitionsles687.
1LucidaNewMath-Symbols697.
2MathTmePlusScript697.
3Times-compatibleMathScriptandFrakturfonts697.
4Times-compatibleBlackboardandHoleyBoldfonts6931TheMathTmeProfessionalfontsMathTmeProfessionalIIisasetofmathfontsparticularlydesignedforusewithTEXorLATEX.
Separatefontsfortextsize,superscripts,andsecondordersuperscriptsareprovided,allowingqualitymathematicaltypesettingthathashithertobeenavail-ableonlywithmetaltypeorwiththeComputerModernandtheEulerfonts.
Furthermore,MathTmeProfessionalincludes,forinstance,Findividuallydesigneddelimitersandradicalsignsforsizesupto4inchestallandextra-widemathematicalaccents,FcompleteGreekalphabets,bothslantedandupright,Fmatchingscript,frakturandBlackBoardBoldfonts,FAMSsymbols,andmore.
Inadditiontothe'Complete'setoftheMathTmeProfessionalIIfonts,thereisa'Lite'version,whichincludesonlyabasicset,essentiallyreplacingthestandardComputerModernmathfontsthatarerequiredforplainTEX.
2Themtpro2packageBasically,loadingthemacropackagemtpro2\usepackage[hoptionsi]{mtpro2}makesLATEXuseMathTmeProfessionalinplaceofthedefaultComputerModernmathfonts.
Thefollowingsectionsdescribetheparticularfeaturesofthepackageandtheadditionaloptionsthatcontrolitsbehavior.
Thepackagemtpro2constitutesasuccessortothepreviouslyseparatepack-agesmtpro,mtpamsandmtpbandintegratesalloftheircapabilities.
2.
1Litevs.
CompletefontsetIfyouareusingthe'lite'fontset,youshoulddisableallthosefeaturesthatwouldrequirethecompletecollection.
Todoso,loadthepackagewiththeoptionlite:\usepackage[lite,.
.
.
]{mtpro2}Inparticular,thefollowingfeaturesareavailableonlywiththecompletefontset:FBoldmathfonts,exceptforthebolduprightmathalphabets\mathbfand\mbf,andfortheboldversionsoftheCMCalligraphicandtheEulerfonts;FTimes-compatiblescript,curly,frakturand'blackboardbold'fonts;FAMSsymbols.
Whenmtpro2isloadedwiththeoptionlite,theyaredisabledsothatyoucannotuseanymissingfontsinadvertently.
Featuresrequiringthecompletefontsetaremarkedappropriatelyintheremainderofthepresentdocument.
42.
2TextfontsLoadingthemtpro2packagedoesnotchangeLATEX'sdefaulttextfontfamilies(ComputerModern).
However,theMathTmeProfessionalfontsweredesignedtoblendbestwithTimes.
TheMonotypeTimesNewRomanfontsareanidealmatch,butmtpro2canequallywellbeusedwithAdobeTimes,TimesTenandsimilartypefaces,suchasBaskervilleorConcorde.
Theroman,sans-serifandtypewriterfontfamiliesandtheencodingofthetextfontsaretobeselectedbeforeloadingofmtpro2(unlessyoustaywithLATEX'sdefaults),sothatthepackage'knows'thefontsandtheencodingtobeusedforoperatornamessuchas'sin'andforthemathalphabets\mathrm,\mathsfand\mathtt.
Forinstance,\usepackage[T1]{fontenc}\usepackage{textcomp}\renewcommand{\rmdefault}{ptm}\usepackage[scaled=0.
92]{helvet}\usepackage{mtpro2}selectsT1encodingwithadditionaltextcompanionsymbolsandloadsMathTmeProfessionalinconjunctionwithAdobeTimes(ptm)andHelvetica,whilethedefaulttypewriterfontfamily(CMTypewriter)isunchanged.
Thisishowthepresentdocumenthasbeentypeset.
2.
3GreeklettersWithTEXorLATEX,uppercaseGreeklettersinmathmodeareusuallytypesetasupright,eventhoughtheyareusuallymeanttodesignatevariables.
SincethisviolatestheInternationalStandardsISO31-0:1992toISO31-13:1992,themtpro2packageprovidesanoptionslantedGreek,whichcausesuppercaseGreek(\Gamma,\Deltaetc.
),tobetypesetasslanted.
UprightlowercaseanduppercaseGreeklettersareavailablewithcommandnamessuchas\upalpha,\upbeta,\upGamma,\upDelta,etc.
Theyarealwaysupright,regardlessoftheslantedGreekoption.
TheresponseoftheGreekletterstomathalphabetcommandsdiffersfromthatofstandardLATEXwhenmtpro2isused:LowercaseGreekletterswillrespondtomathalphabetcommands;otherwise,\mathboldand\mathbbwouldnotworkasdescribedbelow.
Thisbehavior,may,however,causeproblemswithlegacydocuments,be-causeapplyingadifferentmathalphabetthan\mathboldoroneoftheitalicdoublestrokealphabetsonlowercaseGreekletterswillresultingarbageoutput(ornooutputatall).
Toavoidthis,specifythepackageoptioncompatiblegreek,whichcausesthelowercaseGreekletterstobedeclaredas'ordinary'symbols—however,withthedrawbackthattheywillnolongerhonor\mathboldor\mathbb.
52.
4NumbersandpunctuationinmathmodeLATEX'sdefaultbehavioristotypesetnumbersandpunctuationinmathmodeusingthe\mathrmalphabet,whichnormallyequalsthedefaulttextfont.
Withthemtpro2package,incontrast,numeralsandpunctuationcharactersare—inmathmode—takenfromtheMathTmeProfessionalfonts.
Thus,entering$1.
23$willyieldadifferentresultthan1.
23,andyouwillhavetodecideineachcasewhetheraninputfragmentisamathoranon-mathentity.
2.
5BoldmathfontsBoldand'heavy'mathfontsareavailableonlywiththecompletefontset,ex-ceptforthealphabets\mathbfand\mbf,andfortheboldversionsoftheCMCalligraphicandEulerfonts.
2.
5.
1EmboldeningcompleteformulasThedeclaration\boldmathwillemboldenallformulaswithinitsscope,justaswiththestandardCMmathfonts.
Useit,forinstance,toemphasizecompleteformulasortomakesurethatmathematicalexpressionswithinboldsectionti-tlesalsoappearinboldtype.
Boldformulasshould,however,notcontaintheextra-largeparentheses,rootsandoperatorsdescribedinsection2.
12below.
The\wide.
.
.
accents(2.
13)cannotbeemboldened,either.
2.
5.
2BoldlettersandsymbolsThedeclaration\boldmathcannotbeissuedwhenyouarealreadyinmathmode.
Thusitisnotasuitablemeanstoemboldensingleletters,e.
g.
,ifyouwanttodesignatevectorswithboldtype.
Thisuseofboldlettersinformulasissupportedthroughanumberofboldmathalphabets:F\mathbfprintsitsargumentusingthebolduprighttextfont.
F\mbfissimilar,butusesaspeciallymodiedversionofthebolduprightTimesfont,withthespacingandthelettershapesadaptedtomathtypeset-ting.
Thus\mbfisappropriatetotypesetsinglevariables,while\mathbfcanbeused,e.
g.
,toemphasizeanoperatorname.
FAnadditionalbolditalicmathalphabetnamed\mathboldisprovided—somethingthatisn'teasilyavailablewithstandardLATEX.
Incontrastto\mathbfand\mbf,thisalphabetalsoincludesGreekletters.
1FBesidetheusual\mathcal,thereisalsoaboldvariant\mathbcal;see,however,section2.
6forapossibleexception.
FWhena\mathscralphabetissetup(seebelow),acorrespondingbold\mathbscrisdened,too.
1TheshapeoftheuppercaseGreeklettersfollowstheslantedGreekoption.
6Analternativetotheuseofseveraldifferentboldmathalphabetsisavailablethroughthemacropackagebm.
Itdenesthecommand\bm,whichcanemboldennotonlylettersbutalsosymbolsorarbitraryexpressions—providedthatthere-quiredfontsexist.
Thecommand\bmshould,however,notbeusedonconstructslike\PARENSor\SQRTorthe\wide.
.
.
accents.
Thepackagebmbelongstothetoolscollection,whichispartofeveryLATEXsystem.
Itishighlyrecommendedtoreadthedocumentationofthepackagebeforeusingit!
Torecognizetheexistenceoftheboldmathfonts,thepackagebmistobeloadedaftermtpro2.
2.
5.
3'Heavy'symbolsMost—butnotall—ofthemathematicalsymbolsoftheMathTmeProfessionalfontsexistalsoina'heavy'(i.
e.
,extra-bold)variant,whichcanbeusedthroughthecommand\hmoftheabove-mentionedpackagebm.
(Useofthecorresponding\heavymathdeclarationis,however,pointless,becausetheheavymathfontsareincomplete.
)The'heavy'symbolsaredarkerandmoreprominentthanthe'bold'ones,sotheyaresuitable,forinstance,ifyouneedanextra-boldplussignwithadifferentmathematicalmeaningthantheregularC.
Applying\hmtocharactersthatarenotavailableas'heavy'yieldseithernormaltypeora'slug'(ablackbox),dependingonthemathalphabet.
Inparticular,thisrestrictionaffectsLatinandGreekletters,aswellasthe'extra-large'delimiters,root,operatorsandaccentsdescribedbelow.
2.
6Calligraphicmathalphabet\mathcaldefaultstothecalligraphicfontoftheComputerModernfamily.
Otherscriptfontscanbeusedthroughthefollowingpackageoptions:eucalassignstheEulerCalligraphicfonttothemathalphabet\mathcal,mtpcalassignstheTimes-compatibleMathScriptfontto\mathcal,mtpccalassignstheTimes-compatibleupright'Curly'fontto\mathcal,mtpscrassignsMathScripttoanewmathalphabet\mathscr.
WhilethecalligraphicCMandEulerfontsarestandardcomponentsofanyLATEXsystem,theMathScriptandCurlyfontsareavailableonlywiththecom-pleteversionoftheMathTmeProfessionalfontset:ABCDEFGHIJKLˇMNOPQRSTUVWXYZabcdefghi{j|klmnopqr2stuvwxyz:ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghi{j|klmnopqrstuvwxyzThereisnoboldvariantoftheCurlyfont,so\mathbcalisnotdenedwhen\mathcalisassignedtothisfont.
Section4listsfurtheroptionstosetup\mathcaloranadditionalmathal-phabet\mathscr.
Theyaresomewhatconfusingandareprovidedonlyforthesakeofcompatibilitywiththeoldmathtimepackage.
7Donottrytousethedeclaration\calinplaceofthetext-generatingcommand\mathcal.
Thissyntaxisobsoleteandmaynotworkwiththepackagemtpro2.
2.
7FrakturmathalphabetAFrakturalphabet\mathfrakcanbebemadeavailablethroughapackageop-tion:eufrakassignstheEulerFrakturfontto\mathfrak;mtpfrakassignstheTimes-compatibleMathFrakturfontto\mathfrak.
WhiletheEulerfrakturfontisastandardcomponentofanyLATEXsys-tem,theMathFrakturfontisavailableonlywiththecompleteversionoftheMathTmeProfessionalfontset:ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghi{j|klmnopqrstuvwx8y9zThesymbols\Reand\ImfromthebasicMathTmeProfessionalfontsarenotexactlythesameasthecorrespondinglettersfromthese\mathfrakalphabets.
Ifyouwouldprefertohave\Reand\Imusethe\mathfrakalphabet,justredenethesemacrosappropriately:\renewcommand{\Re}{\mathfrak{R}}\renewcommand{\Im}{\mathfrak{I}}2.
8VariantlettersintheFrakturandScriptalphabetsThissectionisrelevantwiththecompletefontsetonly!
SeverallettersontheTimes-compatibleMathScript,CurlyandFrakturfontsareavailablewithalternativeshapes:Script:CC\altCGG\altGLL\altLˇQQ\altQSS\altSYY\altYZZ\altZrr\altr2zz\altz:Curly:GG\altGMM\altMNN\altNQQ\altQYY\altYFraktur:YY\altYxx\altx8yy\alty9The\alt.
.
.
commandsworkonlyinconjunctionwiththeMathTmeProfes-sionalScript,CurlyandFrakturfonts,i.
e.
,withintheargumentofarelatedmathalphabetcommand.
Forinstance,\mathfrak{\altx}yields8,providedthatMathFrakturisinfactassignedto\mathfrak.
Whenthecommandsareusedwithotherfonts,thecorresponding'normal'letterisprinted.
82.
9'BlackboardBold'mathalphabetA'blackboardbold'fontcanbemadeavailableasmathalphabet\mathbb.
Vari-ousfontscanbeselectedusingthefollowingpackageoptions:amsbbAMS'B'mtphrbTimes-compatibleHoleyRomanBoldmtpbbTimes-compatibleBlackboardBoldmtphbiTimes-compatibleHoleyRomanBoldItalicmtpbbiTimes-compatibleBlackboardBoldItalicmtphrdTimes-compatibleHoleyRomanDarkmtpbbdTimes-compatibleBlackboardBoldDarkWhiletheAMS'B'fontisastandardcomponentofanyLATEXsystem,theTimes-compatiblefontsareavailableonlywiththecompleteversionoftheMathTmeProfessionalfontset:Therstversion,holeyromanbold,isa'boldopen'font,formedbyhollow-ingoutboldletters:ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghi{j|klmnopqrstuvwxyz0123456789Bycontrast,theblackboardboldfontisthesortofalphabetthatonemightactu-allywriteonablackboard:ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghi{j|klmnopqrstuvwxyz0123456789Besidethese,correspondingitalicfontsareavailable,too.
Theycom-prisealsoGreekletters,whichareaccessiblethroughtheusualcommands\alpha.
.
.
\Omega.
ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghi{j|klmnopqrstuvwxyz0123456789andABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghi{j|klmnopqrstuvwxyz0123456789Oryoumightpreferoneofthedarkversions,holeyromandark:ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghi{j|klmnopqrstuvwxyz01234567899orblackboardbolddark:ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghi{j|klmnopqrstuvwxyz0123456789\boldmathand\bmalsoactontheTimesBlackboardBoldandHoleyRomanBoldfontsandyieldtherelated'dark'font.
However,ifyouhavealreadychosenoneofthe'dark'fontsforthe\mathbbalphabet(optionmtpbbdormtphrd),itwillnotbeemboldenedfurther,andtheitalicdoublestrokefontsalsohavenoboldcounterparts.
2.
10PositioningofsubscriptsTheappearanceofsubscriptscanbeimprovedbyloadingthepackagewiththeoptionsubscriptcorrection.
Whencertainletters,likeforj,occurasasubscript,thepositioningwillbeautomaticallyadjusted.
Inthefollowingexample,theleftsumwastypesetwithsubscriptcorrection,therightonewithout:CfCCjCXACfCCjCXAThe\enablesubscriptcorrectionand\disablesubscriptcorrectioncommandscanalsobeusedtoturnsubscriptcorrectiononandoffwithinthedocument.
Noguaranteeismadeastotheproperfunctioningoftheautomaticsubscriptcorrectioninconjunctionwithanyadditionalmacropackage,becausetheunder-scorecharacter_ismadeactive.
2.
11StylesofoperatorsymbolsTheoperatorsP,Qand`haveslantedversions,too:,and¤.
Theseareselectedasthedefaultonesbyspecifyingthepackageoptionsloperators.
Whicheverconventionyouuse,youcanalwaysuse\slsumetc.
togettheslantedversionsand\upsumetc.
togettheuprightversions.
2.
12Thebigdifferences2.
12.
1Extra-largedelimitersandrootsTheMathTmeProfessionalfontsetincludesindividuallydesignedparenthesesandotherdelimiters,allofwhichgouptoto4incheshigh.
Thelargeparenthesesareproducedbythecommand\PARENS{.
.
.
};justcomparetheleftmatrixwiththeoutputobtainedfromtheordinary\left(and\right(macros:˙x11x12:::x21x22:::x31x32::::::::::::0BBB@x11x12:::x21x22:::x31x32::::::::::::1CCCA10Basically,\PARENS{.
.
.
}isjustanabbreviationfor\LEFTRIGHT(){.
.
.
}.
Ingeneral,youcanuse\LEFTRIGHTdirectlywithanytwodelimiters,includingtheperiodforanemptydelimiter.
Inadditiontoparentheses,youcanget/,\backslash,(or\rangle),allupto4incheshigh.
Therearealsotwospecialdelimiters\lcbraceand\rcbracethatcan'tbeusedwith\leftand\right,butcanbeusedafter\LEFTRIGHT.
Thesegiveindividuallydesignedverticalcurlybracesupto4incheshigh,whichyoumightprefertotheusualextensiblebraces.
Againcomparetheoutputob-tainedby\LEFTRIGHT\lcbrace\rcbrace{.
.
.
}withtheresultoftheusual\left\{.
.
.
\right\}:x11x12:::x21x22:::x31x32::::::::::::…8>>=>>>;Togoalongwiththis,a\ccasesconstructionisprovided,whichyieldsadecoratedarraywithtwocolumns,bothleftaligned:S.
x/1x0Thesyntaxissimilartothe\casesmacro2,butthelinesareseparatedinaLATEX-likemannerby\\:S(x)\coloneq\ccases{-1&x0}Acombinationlike\LEFTRIGHT(]{hformulai}isalsopossible;thejustgetsextendedintheusualway.
Atlargesizes,however,the.
mightendupslightlylargerthanthe,sincethegrowsatthesame(6pt)rate,nomatterhowlargetheargument,whiletheparenthesesgrowfasterforlargerformulas.
Soinsuchcasesyoumayneedtoreplace{hformulai}with\vcorrection{hdimeni}{hformulai}toarticiallyincreaseitsverticalsizetohdimeni,therebyforcingthesquarebrackettobelarger.
Inadditiontothe\sqrtcommand,whichusesan'extensible'symbol,mtpro2provides\SQRT,withthesamesyntax.
Itproducesindividuallydesigned2Thereis,however,nobeautiedcounterparttothecasesenvironmentoftheamsmathpack-age!
11rootsignsupto4incheshigh:Intheexamplebelow,theleftrootwastypesetusing\SQRT,therightoneresultsfromtheordinary\sqrtcommand.
3pnXiD1.
yixi/33vuutnXiD1.
yixi/3Thepositioningoftherootindexcanbeadjustedthroughthecommands\LEFTROOTand\UPROOT.
Theyaretobeissuedinmathmode,theyarevalidinsidethecurrentformulaonly,andtheyactonlyonrootsproducedfrom\SQRT.
Positiveargumentstothesecommandswillmovetherootindextotheleftanduprespectively,whileanegativeargumentwillmoveittotherightanddown.
Theunitsofincrementarequitesmall,whichisusefulforsuchadjustments.
Intheexamplebelow,theindexˇoftheleftrootismoved2unitstotherightand6unitsupbysaying\LEFTROOT{-2}\UPROOT{6}\SQRT.
.
.
;therightrootshowsthedefaultappearance:ˇpkˇpkNoticethatthesyntaxofthe\LEFTROOTand\UPROOTcommandsdiffersbothfromtheamsmathpackageandfrommtp.
tex!
Youcannest\PARENS(or\LEFTRIGHT),thoughofcoursethatshouldn'tbeneededveryoften.
DoingsoslowsTEXdownexponentiallyandmayalsoexhaustitscapacity.
Itshouldalsobementionedthat\PARENSendsuptypesettingitsar-gumentmorethanonce,inordertondouttherightsizeofthedelimiters,soyouneedtobecarefulwhenusingboxes:Forexample,ifyouhavestoredaformulain\box\eqnbox,thenyoushouldbesuretotype\PARENS{\copy\eqnbox},ratherthan\PARENS{\box\eqnbox}.
Thesameprecautionappliesto\SQRTandtothenew\wide.
.
.
accentsexplainedinsection2.
13.
2.
12.
2Extra-largeunder-andoverbracesIndividuallydesignedcurlyunderbracesandoverbracesupto4incheswideareavailablebyusingthemacros\undercbraceor\overcbraceinsteadoftheusual\underbraceand\overbrace.
Comparethese(left)withstandardLATEX(right);A1CCAiCCAnA1CCAiCCAn…2.
12.
3Extra-largeoperatorsymbolsInadisplayedformulalikeXi…IZC11f.
ix/dxC1ICf.
ˇiz/dz112youmightfeeltheneedforalargersumsign.
Normallyprintersdon'tprovideone,butwiththeMathTmeProfessionalfontsyoucangetanextra-large\sumwiththe\xlcommand.
Forinstance,\xl\sum_{i\notinI}.
.
.
yields:ii…IZC11f.
ix/dxC1ICf.
ˇiz/dz1\xlcanbeappliedtoall'large'operators,includingthoseinsection2.
14.
1.
Inmostcases\xlproducesasymbolabout18pttall.
Therearealso\XLand\XXLversionsthatare36ptand72pt(afullinch)high!
And,heavenforbid,youcanevenget\XXXLversionsthataretwoincheshigh,therebyassuringyourself(aswellasthedesigneroftheMathTimefonts)thelastingenmityofjournaleditorseverywhere.
Asusual,youcanalsoadd\nolimitsafterthe\sumifyouwantthesubscriptandsuperscripttobeplacedtotheside.
And,incombinationslike\xl\intwheretheyarenormallyplacedtotheside,youcanadd\limitsifyoudowantthemtobesetaboveandbelowtheintegralsign.
Whenthepackageamsmathisused,itsoptionsnosumlimitsandinlimitsare,however,nothonored,i.
e.
,thedefaultplacementofsubscriptsandsuperscriptsonextra-largeoperatorswillalwaysfollowthenormalLATEXconvention.
2.
13AccentsinmathInadditionto\widehatand\widetilde,thereisnow\widecheck.
The\widehat,\widecheck,and\widetildeaccentsareextendedinasimilarfash-ionasthelargedelimitersandroots(seeabove);ineachcaseyoucangetaccentsupto4incheswide:1aCbC4aCbCcC7aCbCcCdCbaCbCcCdCeIf,forsomereason,youneeddouble\wide.
.
.
accents,youmaybedisappointedtondthat\widehat{\widehat.
.
.
gives99ACBCCCDCECFCGwiththetopaccentseeminglytoohigh(itsbaseisatthelevelofthetopofthelower\widehat).
Sothereisalso\widehatdown{hdimeni}{.
.
.
}tomovea\widehatdown(andsimilarlyforthe\widetildeandthe\widecheckac-cents).
Forexample,\widehatdown{2pt}{\widehat{A+B+C+D+E+F+G}}produces99ACBCCCDCECFCG:13InacombinationlikeOA,the\hataccentmightlookalittlesmall,while\widehatproducesanaccentbAthatlookstoolarge(andalsoisn'tpositionedwell,because\widehatismeantforentireformulas,anddoesn'tproperlyposi-tiontheaccentforsingleletters).
Sothereis\whattoproduceaslightlywiderhataccent,yA.
Similarly,thereare\wtilde,\wcheck,and\wbar.
Inaddition,thereareslightlylarger\wwhat,\wwcheck,\wwtilde,and\wwbar.
The\wwhat,\wwcheck,and\wwtildeaccentsareidenticaltothesmallestversionsoftheaccentsproducedby\widehatetc.
,butinsomecasesitmightbepreferabletoforcethissmallestsizeinsteadofrelyingonthe\wide.
.
.
accentsthemselves.
Forexample,\widehatMyieldscM,becausetheM(count-ingthewhitespaceonitssides)happenstobejustabittoowideforthesmallest\widehataccent,whereas\wwhatMwillresultinM.
The\wwbaraccentiswhatusedtobecalled\widebarintheMathTmefonts,butthatreallywasn'taverygoodname,since\overlineiswhatactuallycorre-spondstothe\wide.
.
.
accents.
Thestandardcommands\dotand\ddotarecomplementedwithready-madetripleandquadrupledotaccents\dddotand\ddddot;theyworkwithorwithouttheamsmathpackage.
InsituationslikeP,thedotaccentsmightlookbetteriftheyweremovedupabit.
Sothereare\dotup,\ddotup,\dddotupand\ddddotup,toproduceT,U,etc.
2.
14AdditionalsymbolsnotavailablewithstandardLATEX2.
14.
1IntegralsTheMathTmeProfessionalfontsincludemultiple,surfaceandlineintegrals.
Theyareavailableintextsize(asshowninthebelowtable)aswellasdisplaysize:'\iint"\iiint–\oiint\oiiint\cwoint\awoint\cwint\barint\slashintThemacrosarecompatiblewiththeamsmathpackage,whichmaybeloadedadditionally.
2.
14.
2NegatedrelationsymbolsMathTmeProfessionalincludesanumberofready-madenegatedrelationsym-bols,seetable1,whicharenormallybuiltfrompieces.
Forinstance,withMathTmeProfessionalyoushouldwrite\notleqinsteadof\not\leq.
Almostallofofthesesymbolsareaccessiblealsothroughanalternativename,whichfollowsthenamingschemeoftheamssymbpackage.
2.
14.
3MiscellaneoussymbolsTheMathTmeProfessionalfontsprovidevarioussymbolsandlettersthatarenotdenedwithstandardLATEX,seetable214–\notless,\nless\notsupset,\nsupset—\notleq,\nleq\notsupseteq,\nsupseteq\notprec,\nprec\notsqsupseteq,\nsqsupseteq\notpreceq,\npreceq¤\neq\notsubset,\nsubset\notequiv,\nequiv\notsubseteq,\nsubseteq\notsim\notsqsubseteq,\nsqsubseteq§\notsimeq,\nsimeq\notgr,\ngtr¨\notapprox,\napprox\notgeq,\ngeq\notcong,\ncong\notsucc,\nsucc\notasymp,\nasymp\notsucceq,\nsucceqTable1:Non-standardnegatedrelationsymbols.
Table2shows\bigcapprod,\bigcupprod,\bigastand\bigvarlandastheywouldappearwithininlineformulas.
Being'largeoperators',theyareen-largedwhenusedwithindisplayedformulas,forinstance:n'iD1iniD1iniD1in§iD1i\varbetaand\vardeltaareoldformsofˇandthatyoumightndusefulifyouaretryingtoimitatecertainoldbooks.
Noticethat\vardeltaishardlydistinguishablefromthe\partialsymbol(thecircularportionof\vardeltaistaller,tomatchtheheightofletterslikexandoinmathformulas).
Theonlyreasonforproviding\vardeltaisthatallthevariousGreekalphabetsspeciedformathematicsintheUnicodestandardincludethisvariant(perverselycalled'partial').
Theboldorheavyversionsofand|aresomewhatgrotesque.
Ifyouneedtohavedifferentvarietiesofthese,youmightliketousethe\open.
.
.
or\shaded.
.
macros.
Notice,however,thatthesevariantsthemselveshavenoboldorheavycounterparts!
2.
14.
4AlternativeshapesofzinmathmodeSomepeopleliketohaveanitaliczwitha'swash'tail:.
Loadingthepackagewiththeoptionzswashcauseztoyieldinsteadofzinyourequations.
2.
15AMSsymbolsThe'lite'MathTmeProfessionalfontsetalreadyprovidesseveralsymbolsthatarenormallyavailableonlywiththepackageamssymb—seethesections2.
14.
2and2.
14.
3above.
Withthecompletefontset,incontrast,alloftheso-called'AMSsymbols'areavailableinaTimes-compatiblestyle.
Youneednotloadthepackagesamsfontsoramssymbadditionally;infact,youmustnotdoso,becausethepackagesarenotcompatiblewithmtpro2.
15Relations:°\simarrow\hateq\coloneq\eqcolon·\circdashbullet\bulletdashcircBinaryoperators:Z\capprodY\cupprodB\compX\setdif\contraction\varlandLargeoperators:\bigcapprod\bigcupprod¨\bigast\bigvarlandLetters:°\varbeta±\upvarbeta\vardelta\upvardelta~\varkappa\upvarkappa\hslash±\digamma\dbar\updbarAlternativecardsuitsymbols:\openspadesuit\shadedspadesuit\openclubsuit\shadedclubsuitTable2:Miscellaneousnon-standardsymbolsThedenitionsoftheAMSsymbolsconsumeahugeamountofTEXre-sources,soyoucandisablethemthroughthepackageoptionnoamssymbols.
Thisdoes,however,notaffectanyofthesymbolsshowninthetables1and2;theyalwaysremainaccessible.
2.
15.
1OrdinarysymbolsMostoftheAMSsymbolsarebinaryoperatorsorrelations,butrstwehaveagroupofvariousordinarysymbols,shownintable3.
\yen,\maltese,\circledRand\checkmarkaresortofspecial,sincetheycanbeusedbothintextmodeandinmathmode.
(\Diamond)wasadoptedfromtheso-calledLATEXsymbols,andyoumaypreferitsshapeover˙.
TheAMSsymbols±(\digamma),and(\hslash),havebeenplacedontheMathTmeProfessional'lite'fonts,alongwiththe(\bar).
2.
15.
2DelimitersTable4showsfourspecialdelimiters(whichoccurinonlyonesize).
168\backprime\varnothingM\vartriangleN\blacktriangleO\triangledownH\blacktriangledown\square\blacksquare˙\lozenge\blacklozenge\DiamondF\bigstar]\measuredangle^\sphericalangle\nexists{\complement\mho\eth\Finv\Game\diagup\diagdown\beth\gimel\dalethU\yenz\malteser\circledRX\checkmarks\circledSTable3:AMSsymbolsoftype'ordinary'p\ulcornerq\urcornerx\llcornery\lrcornerTable4:AMSsymbols:Delimiters2.
15.
3BinaryoperatorsTable5showstheadditionalbinaryoperatorsymbolsinthecompletefontset.
Themacro\smallsetminusisactuallyjustasynonymfor\setdifontheMathTmeProfessionalbasicfonts.
u\dotplusX\smallsetminus\ltimes\rtimese\Cap,\doublecapd\Cup,\doublecuph\leftthreetimesi\rightthreetimesZ\barwedgeY\veebar[\doublebarwedgef\curlywedgeg\curlyvee\boxplusˇ\boxminus\boxtimes\boxdot\circleddash~\circledast}\circledcirc\divideontimes\centerdot|\intercalTable5:AMSsymbols:Binaryoperators172.
15.
4BinaryrelationsIntable6,notethat@(\sqsubset)andA(\sqsupset)are'AMS'symbols,whilethemorecomplicatedv(\sqsubseteq)andw(\sqsupseteq)alreadyexistinthebasicfonts!
Notealsothat`(\smallsmile)anda(\smallfrown)aredifferentfromthesymbolsY(\cupprod)andZ(\capprod),andthattheold(\models)isdifferentfrom(\vDash).
5\leqq=\geqq6\leqslant>\geqslant0\eqslantless1\eqslantgtr.
\lesssim&\gtrsim/\lessapprox'\gtrapprox\approxeq\lessdot\gtrdotn\lll,\lllesso\ggg,\gggtr7\lessgtr\gtrlessQ\lesseqgtrR\gtreqlessS\lesseqqgtrT\gtreqqless+\doteqdot,\DoteqP\eqcirc;\fallingdotseq:\risingdotseq$\circeq,\triangleqv\backsim\thicksimw\backsimeq\thickapproxj\subseteqqk\supseteqqb\Subsetc\Supset@\sqsubsetA\sqsupset4\preccurlyeq<\succcurlyeq2\curlyeqprec3\curlyeqsucc-\precsim%\succsim\precapprox\succapproxC\vartriangleleftB\vartrianglerightE\trianglelefteqD\trianglerighteqJ\blacktriangleleftI\blacktriangleright\vDash\Vdash\Vvdash`\smallsmilea\smallfrown\shortmid\shortparallell\bumpeqm\Bumpeq)\therefore*\becauseG\betweent\pitchfork_\varpropto\backepsilonTable6:AMSsymbols:Binaryrelations182.
15.
5NegatedrelationsNegatedrelationsymbolsaresummarizedintable7.
Theyarepartlyavailablealreadywiththe'lite'fontset;seetable1.
Notethat(\nsim)fromtheAMSsymbolsisdenitelydifferentfrom(\notsim)fromthebasicfonts.
–\nless\ngtr—\nleq\ngeq\nleqslant\ngeqslant"\nleqq\ngeqq\lneq\gneq\lneqq‰\gneqq\lvertneqq\gvertneqq'\lnsim"\gnsim\lnapprox\gnapprox\nprec\nsucc\npreceq\nsucceq–\precneqq—\succneqq\precnsim'\succnsim\precnapprox\succnapprox\nsim\ncong\nshortmid\nshortparallel\nmid\nparallel°\nvdash\nvDash±\nVdash\nVDash\ntriangleleft·\ntriangleright\nsubseteq\nsupseteq\nsubseteqq\nsupseteqq¨\subsetneq\supsetneq\varsubsetneq\varsupsetneq¤\subsetneqq\supsetneqq\varsubsetneqq§\varsupsetneqq**\nsqsubset*\nsqsupsetTable7:AMSsymbols:Negatedrelations.
SymbolsmarkedbyanasteriskdonotexistontheComputerModernAMSfonts.
2.
15.
6ArrowsThearrowsfromtable8areoftype\mathrel.
Itshouldbenotedthat(\rightleftharpoons)isalreadyprovidedwiththe'lite'fontset.
Thearrow(\leadsto)appearsinthe'LATEXsymbols',anditsshapeismorecommonthanfromtheAMSfonts.
Anumberofarrowsarealsoprovidedinnegatedform,seetable9.
\rarrowhead,\larrowhead,and\midshaft(whicharenotgivennamesintheAMSfonts)canbeusedtoconstructlongerdashedarrows.
Forexample19\mathrel{\midshaft\midshaft\midshaft\rarrowhead}canbeusedtoproducethearrowintheformulaA999KB:\dashrightarrow,\dasharrow\dashleftarrow*L\larrowhead*K\rarrowhead*9\midshaft\leftleftarrows\rightrightarrows\leftrightarrows\rightleftarrowsW\LleftarrowV\Rrightarrow\twoheadleftarrow\twoheadrightarrow\leftarrowtail\rightarrowtail"\looparrowleft#\looparrowright\leftrightharpoons\rightleftharpoons\curvearrowleft\curvearrowright*\undercurvearrowleft*\undercurvearrowright\circlearrowleft\circlearrowright\Lsh\Rsh\upuparrows\downdownarrows\upharpoonright,\restriction\upharpoonleft\downharpoonright\downharpoonleft\updownarrowsà\downuparrowsá\updownharpoons\downupharpoons\upupharpoons\downdownharpoons\rightsquigarrow\leadsto!
\leftrightsquigarrow(\multimapTable8:AMSarrows.
SymbolsmarkedbyanasteriskdonotexistontheCom-puterModernAMSfontsorarenotgivennamesoftheirownwiththeAMSmacros.
\nleftarrow\nrightarrow\nLeftarrow\nRightarrow\nleftrightarrow\nLeftrightarrowTable9:AMSarrows(negated)2.
15.
7AlternativesymbolnamesSeveralsymbolsaremadeavailablebothunderthenamesintroducedbytheAMSandunderthenamesknownfromLATEX2.
09orfromthelatexsympackage—seetable10.
20\square\BoxC\vartriangleleft\lhdE\trianglelefteq\unlhdB\vartriangleright\rhdD\trianglerighteq\unrhd‰\bowtie\JoinTable10:Alternativesymbolnames3Transitionfrommtprotomtpro2Asexplainedabove,mtpro2constitutesthesuccessortothethreepackagesmtpro,mtpamsandmtpb.
Transitionfromthepredecessorpackagesshouldbeeasy:1.
Loadmtpro2inplaceofmtpro;adoptitsoptions(withtheexceptionofboldalphabet,seebelow).
2.
Ifyouwereusingthepackagemtpams,passitsoptions(ifany)tomtpro2now.
3.
Ifyouwereusingthepackagemtpb,passitsoptionstomtpro2now.
Onlyfewincompatibilitiesaretobementioned:FThesyntaxof\xl&friendshaschanged:Thelimitscanbespecied'asusual'now.
FTheoptionboldalphabetdoesnotexistanymore,andallGreeklettersareoftype'mathalpha'bydefault.
FNoblackboardboldmathalphabet\mathbbissetupbydefault.
Todeclareablackboardboldalphabet,oneoftheoptionsexplainedinsection2.
9needstobeused.
4OptionsummaryThissectionlistsalloptionsofthemtpro2package.
Optionsthatcorrespondtothedefaultbehaviorofthepackagearemarkedbyanasteriskandneednormallynottobespecied.
complete*UsesalloftheMathTmeProfessionalfonts.
liteUsesthefontsofthe'lite'releaseonly.
uprightGreek*MakestheuppercaseGreeklettersupright.
slantedGreekMakestheuppercaseGreeklettersslanted.
compatiblegreekDeclaresthelowercaseGreeklettersas'ordinary'symbols,whicharenotaffectedbymathalphabetcommands.
21uprightoperators*Makes\sum,\prodand\coprodupright.
slantedoperatorsMakes\sum,\prodand\coprodslanted.
cmcal*AssignstheComputerModerncalligraphicfontstothemathalphabets\mathcaland\mathbcal.
eucalAssignsEulerScriptto\mathcaland\mathbcal.
mtpluscalAssignstheMTMSandMTMSBscriptfonts,whichwerepartofY&Y'sMathTmePluscollection,to\mathcaland\matbcal.
lucidacalAssignsLucidaScriptto\mathcaland\mathbcal.
lucidascrLikelucidacal,butassignsthefontsto\mathscrand\mathbscr.
mtplusscrLikemtpluscal,butassignsthefontsto\mathscrand\mathbscr.
eufrakDeclaresanewmathalphabet\mathfrakandassignstheEulerCalli-graphicfontstoit.
amsbbDeclaresamathalphabet\mathbbandassignstheAMS'B'font.
subscriptcorrectionRedenestheunderscorecharactersothatitautomaticallycorrectsthespacingofsubscripts.
nosubscriptcorrection*Disablesthesubscriptcorrection.
zswashMakes$z$print.
nozswash*Makes$z$printz.
Thefollowingoptionsrequirethecompletefontset.
Theyselectmathfontsthatarenotpartofthe'lite'fontset,sotheyarenottobeusedinconjunctionwithlite:mtpcalAssignsMathTmeProfessionalScriptto\mathcaland\mathbcal.
mtpccalAssignsMathTmeProfessionalCurlyto\mathcal.
mtpscrLikemtpcal,butputsthefontsintonew\mathscrand\mathbscral-phabets.
mtpfrakAssignstheMathTmeProfessionalFrakturfontto\mathfrak.
mtphrbAssignstheMathTmeProfessionalHoleyRomanBoldfontto\mathbb.
mtpbbAssignstheMathTmeProfessionalBlackboardBoldfontto\mathbb.
mtphbiAssignstheMathTmeProfessionalHoleyRomanBoldItalicfontto\mathbb.
mtpbbiAssignstheMathTmeProfessionalBlackboardBoldItalicfontto\mathbb.
22mtphrdAssignstheMathTmeProfessionalHoleyRomanBoldDarkfontto\mathbb.
mtpbbdAssignstheMathTmeProfessionalBlackboardBoldDarkfontto\mathbb.
amssymbols*MakestheAMSsymbolsavailable.
Thisoptionisdisabledauto-maticallywhenliteisspecied.
noamssymbolsAMSsymbolsarenotdened,thussavingTEXresources.
Thispackagemakesalotoffontre-assignments.
Normallythesegeneratewarn-ingmessagesontheterminal,howevergettingsomanymessageswouldbedis-tracting,soafurtherthreeoptionscontrolthefonttracing.
Evenmorecontrolmaybeobtainedbyloadingthetracefntpackage.
errorshow*Onlyshowfonterrorsontheterminal.
Warningsarejustsenttothelogle.
warningshowShowfontwarningsontheterminal.
ThiscorrespondstotheusualLATEXbehavior.
nofontinfoSuppressallfontwarnings,evenfromthelogle.
NB:Notalloptionscanbeusedtogether:E.
g.
,onecanselectatmostoneoftheoptionssettingup\mathcal;ifmorethanonesuchoptionisgiven,mtpcalwillwinovermtpluscal,eucal,lucidacalandcmcal.
NB:Theoptionstosetupa\mathscr,\mathfrakor\mathbbalphabetshouldnotbeusedwhenanadditionalpackageisloadedthatalsodeclaresoneofthesemathalphabets.
5UsingtheCurly,Script,Frakturanddoublestrokefontswithoutthemtpro2packageParticularfontdenitionlesareprovidedfortheTimes-compatiblescript,frak-turanddoublestrokefontsdescribedinthesections2.
6,2.
7and2.
9.
Thus,theycanbeusedalsowithoutthemtpro2package.
Table11providestheinformationrequiredtosetupmathalphabetsusingthesefonts.
6Theimplementationofmtpro26.
1OptionsTherstoptionstobeevaluatedarethosethatdistinguishbetweenthecompleteandthe'lite'fontset.
1hmtproi2\newif\ifmtp@full3\DeclareOption{complete}{\mtp@fulltrue}4\DeclareOption{lite}{\mtp@fullfalse\mtp@amsfalse}23EncodingfamilyseriesshapeCurlyUmt2msmna;b:::ZScriptUmt2msmita;b:::ZUmt2msbita;b:::ZFrakturUmt2mfmna;b:::ZUmt2mfmita;b:::ZBlackboardBoldUmt2bbmna,B.
.
.
ZUmt2bbmita,B.
.
.
ZUmt2bbbna,B.
.
.
ZHoleyRomanBoldUmt2hrbmna,B.
.
.
ZUmt2hrbmita,B.
.
.
ZUmt2hrbbna,B.
.
.
ZTable11:NFSSclassicationoftheadditionalTimes-compatiblemathalphabetsAproceduretosignalthatanoptionisincompatiblewithlite:5\def\mtp@opterr{%6\PackageError{mtpro2}%7{Option\CurrentOption\spacecannotbeused\MessageBreak8togetherwiththeoption'lite'}%9{Removetheoption'lite'ormakesurethatthecompleteMT-Profontsetisprovided.
}10}DowewanttoturnofftheAMSsymbols11\newif\ifmtp@ams12\DeclareOption{noamssymbols}{\mtp@amsfalse}13\DeclareOption{amssymbols}{\ifmtp@full\mtp@amstrue\else\mtp@opterr\fi}Forthe(un)slantedGreekwetake\Gammaasamarker,sinceitwillberede-nedanyway.
14\DeclareOption{uprightGreek}{\let\Gamma=u}15\DeclareOption{slantedGreek}{\let\Gamma=s}SlantedoruprightoperatorsUsing\sumasamarkerwouldbreakamsmath,sowecan'tavoidtodeneonemore\if.
.
.
:16\newif\ifmtp@slops17\DeclareOption{uprightoperators}{\mtp@slopsfalse}18\DeclareOption{slantedoperators}{\mtp@slopstrue}Subscriptcorrection:19\newcommand\enablesubscriptcorrection{\catcode'\_=12\relax}20\newcommand\disablesubscriptcorrection{\catcode'\_=8\relax}24