From 5d3e481e463baef72467638b8d5ebb9d84656851 Mon Sep 17 00:00:00 2001 From: Benoit <41090811+benjub@users.noreply.github.com> Date: Mon, 29 Jan 2024 22:59:37 +0100 Subject: [PATCH] Fix some latexdef's. (#3800) * consistently begin a new line for new definitions * add some `\mathbin` for more consistent spacing * upright omega when not a variable * calligraphic $\mathcal{C}^n$ for continuity classes --- set.mm | 532 +++++++++++++++++++++++++++++++++++++-------------------- 1 file changed, 349 insertions(+), 183 deletions(-) diff --git a/set.mm b/set.mm index 2323038943..d448da4b60 100644 --- a/set.mm +++ b/set.mm @@ -436211,7 +436211,8 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the " ndx"; althtmldef "ndx" as "ndx"; latexdef "ndx" as "\mathrm{ndx}"; -htmldef "sSet" as " sSet "; althtmldef "sSet" as " sSet "; +htmldef "sSet" as " sSet "; + althtmldef "sSet" as " sSet "; latexdef "sSet" as "\mathrm{sSet}"; htmldef "Slot" as "Slot "; althtmldef "Slot" as "Slot "; @@ -436321,7 +436322,8 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the "TITLE='/.'>s "; althtmldef "/s" as " /s "; latexdef "/s" as " \diagup_s "; -htmldef "qTop" as " qTop "; althtmldef "qTop" as " qTop "; +htmldef "qTop" as " qTop "; + althtmldef "qTop" as " qTop "; latexdef "qTop" as "\mathrm{qTop}"; htmldef "Xs." as " X.s "; @@ -436345,13 +436347,17 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the htmldef "oppCat" as "oppCat"; althtmldef "oppCat" as "oppCat"; latexdef "oppCat" as "\mathrm{oppCat}"; -htmldef "Mono" as "Mono"; althtmldef "Mono" as "Mono"; +htmldef "Mono" as "Mono"; + althtmldef "Mono" as "Mono"; latexdef "Mono" as "\mathrm{Mono}"; -htmldef "Epi" as "Epi"; althtmldef "Epi" as "Epi"; +htmldef "Epi" as "Epi"; + althtmldef "Epi" as "Epi"; latexdef "Epi" as "\mathrm{Epi}"; -htmldef "Sect" as "Sect"; althtmldef "Sect" as "Sect"; +htmldef "Sect" as "Sect"; + althtmldef "Sect" as "Sect"; latexdef "Sect" as "\mathrm{Sect}"; -htmldef "Inv" as "Inv"; althtmldef "Inv" as "Inv"; +htmldef "Inv" as "Inv"; + althtmldef "Inv" as "Inv"; latexdef "Inv" as "\mathrm{Inv}"; htmldef "Iso" as " Iso "; @@ -436370,7 +436376,8 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the " TITLE='|`'>cat "; althtmldef "|`cat" as " ↾cat "; latexdef "|`cat" as "\restriction_{cat}"; -htmldef "Subcat" as "Subcat"; althtmldef "Subcat" as "Subcat"; +htmldef "Subcat" as "Subcat"; + althtmldef "Subcat" as "Subcat"; latexdef "Subcat" as "\mathrm{Subcat}"; htmldef "Func" as " Func "; @@ -436388,13 +436395,17 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the " TITLE='|`'>f "; althtmldef "|`f" as " ↾f "; latexdef "|`f" as "\restriction_f"; -htmldef "Full" as " Full "; althtmldef "Full" as " Full "; +htmldef "Full" as " Full "; + althtmldef "Full" as " Full "; latexdef "Full" as "\mathrm{Full}"; -htmldef "Faith" as " Faith "; althtmldef "Faith" as " Faith "; +htmldef "Faith" as " Faith "; + althtmldef "Faith" as " Faith "; latexdef "Faith" as "\mathrm{Faith}"; -htmldef "Nat" as " Nat "; althtmldef "Nat" as " Nat "; +htmldef "Nat" as " Nat "; + althtmldef "Nat" as " Nat "; latexdef "Nat" as "\mathrm{Nat}"; -htmldef "FuncCat" as " FuncCat "; althtmldef "FuncCat" as " FuncCat "; +htmldef "FuncCat" as " FuncCat "; + althtmldef "FuncCat" as " FuncCat "; latexdef "FuncCat" as " \mathrm{FuncCat} "; htmldef "InitO" as 'InitO'; althtmldef "InitO" as 'InitO'; @@ -436413,7 +436424,8 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the htmldef "codA" as 'coda'; althtmldef "codA" as 'coda'; latexdef "codA" as "\mathrm{cod}_a"; -htmldef "Arrow" as "Nat"; althtmldef "Arrow" as "Arrow"; +htmldef "Arrow" as "Nat"; + althtmldef "Arrow" as "Arrow"; latexdef "Arrow" as "\mathrm{Arrow}"; htmldef "HomA" as 'Homa'; althtmldef "HomA" as 'Homa'; @@ -436466,7 +436478,8 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the htmldef "HomF" as 'HomF'; althtmldef "HomF" as 'HomF'; latexdef "HomF" as "\mathrm{Hom}_F"; -htmldef "Yon" as "Yon"; althtmldef "Yon" as "Yon"; +htmldef "Yon" as "Yon"; + althtmldef "Yon" as "Yon"; latexdef "Yon" as "\mathrm{Yon}"; htmldef "Proset" as " Proset "; @@ -436577,7 +436590,7 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the htmldef "invg" as " invg"; althtmldef "invg" as "invg"; - latexdef "invg" as "\mathrm{inv}_\mathrm{g}"; + latexdef "invg" as "\operatorname{\mathrm{inv}_\mathrm{g}}"; htmldef "+f" as " +" + "f"; althtmldef "+f" as '+𝑓'; @@ -436634,7 +436647,8 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the htmldef "cyclShiftOLD" as ' cyclShiftOLD '; althtmldef "cyclShiftOLD" as ' cyclShiftOLD '; latexdef "cyclShiftOLD" as "\mathrm{cyclShiftOLD}"; -htmldef "freeMnd" as "freeMnd"; althtmldef "freeMnd" as "freeMnd"; +htmldef "freeMnd" as "freeMnd"; + althtmldef "freeMnd" as "freeMnd"; latexdef "freeMnd" as "\mathrm{freeMnd}"; htmldef "varFMnd" as "varFMnd"; althtmldef "varFMnd" as "varFMnd"; @@ -436642,9 +436656,11 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the htmldef "~QG" as " ~QG "; althtmldef "~QG" as " ~QG "; latexdef "~QG" as " \sim_{QG} "; -htmldef "SubGrp" as "SubGrp"; althtmldef "SubGrp" as "SubGrp"; +htmldef "SubGrp" as "SubGrp"; + althtmldef "SubGrp" as "SubGrp"; latexdef "SubGrp" as "\mathrm{SubGrp}"; -htmldef "NrmSGrp" as "NrmSGrp"; althtmldef "NrmSGrp" as "NrmSGrp"; +htmldef "NrmSGrp" as "NrmSGrp"; + althtmldef "NrmSGrp" as "NrmSGrp"; latexdef "NrmSGrp" as "\mathrm{NrmSGrp}"; htmldef "GrpHom" as " GrpHom "; @@ -436676,7 +436692,8 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the htmldef "~FG" as " ~FG "; althtmldef "~FG" as " ~FG "; latexdef "~FG" as " \sim_{FG} "; -htmldef "freeGrp" as "freeGrp"; althtmldef "freeGrp" as "freeGrp"; +htmldef "freeGrp" as "freeGrp"; + althtmldef "freeGrp" as "freeGrp"; latexdef "freeGrp" as "\mathrm{freeGrp}"; htmldef "varFGrp" as "varFGrp"; althtmldef "varFGrp" as "varFGrp"; @@ -436737,9 +436754,11 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the "TITLE='||'>r"; althtmldef "||r" as "∥r"; latexdef "||r" as "\parallel_r"; -htmldef "Unit" as "Unit"; althtmldef "Unit" as "Unit"; +htmldef "Unit" as "Unit"; + althtmldef "Unit" as "Unit"; latexdef "Unit" as "\mathrm{Unit}"; -htmldef "Irred" as "Irred"; althtmldef "Irred" as "Irred"; +htmldef "Irred" as "Irred"; + althtmldef "Irred" as "Irred"; latexdef "Irred" as "\mathrm{Irred}"; htmldef "invr" as " invr"; @@ -436751,9 +436770,11 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the htmldef "RPrime" as "RPrime"; althtmldef "RPrime" as "RPrime"; latexdef "RPrime" as "\textsc{RPrime}"; -htmldef "RingHom" as " RingHom "; althtmldef "RingHom" as " RingHom "; +htmldef "RingHom" as " RingHom "; + althtmldef "RingHom" as " RingHom "; latexdef "RingHom" as " \mathrm{RingHom} "; -htmldef "RingIso" as " RingIso "; althtmldef "RingIso" as " RingIso "; +htmldef "RingIso" as " RingIso "; + althtmldef "RingIso" as " RingIso "; latexdef "RingIso" as " \mathrm{RingIso} "; htmldef "~=r" as " ~=r "; @@ -436766,7 +436787,8 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the htmldef "Field" as "Field"; althtmldef "Field" as "Field"; latexdef "Field" as "\mathrm{Field}"; -htmldef "SubRing" as "SubRing"; althtmldef "SubRing" as "SubRing"; +htmldef "SubRing" as "SubRing"; + althtmldef "SubRing" as "SubRing"; latexdef "SubRing" as "\mathrm{SubRing}"; htmldef "RingSpan" as "RingSpan"; althtmldef "RingSpan" as "RingSpan"; @@ -436832,7 +436854,8 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the htmldef "ringLMod" as "ringLMod"; althtmldef "ringLMod" as "ringLMod"; latexdef "ringLMod" as "\mathrm{ringLMod}"; -htmldef "RSpan" as "RSpan"; althtmldef "RSpan" as "RSpan"; +htmldef "RSpan" as "RSpan"; + althtmldef "RSpan" as "RSpan"; latexdef "RSpan" as "\mathrm{RSpan}"; htmldef "LIdeal" as "LIdeal"; althtmldef "LIdeal" as "LIdeal"; @@ -436874,44 +436897,57 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the althtmldef "UFD" as "UFD"; latexdef "UFD" as "\textsc{UFD}"; */ -htmldef "AssAlg" as "AssAlg"; althtmldef "AssAlg" as "AssAlg"; +htmldef "AssAlg" as "AssAlg"; + althtmldef "AssAlg" as "AssAlg"; latexdef "AssAlg" as "\mathrm{AssAlg}"; -htmldef "AlgSpan" as "AlgSpan"; althtmldef "AlgSpan" as "AlgSpan"; +htmldef "AlgSpan" as "AlgSpan"; + althtmldef "AlgSpan" as "AlgSpan"; latexdef "AlgSpan" as "\mathrm{AlgSpan}"; htmldef "algSc" as "algSc"; althtmldef "algSc" as "algSc"; latexdef "algSc" as "\mathrm{algSc}"; -htmldef "mPwSer" as " mPwSer "; althtmldef "mPwSer" as " mPwSer "; +htmldef "mPwSer" as " mPwSer "; + althtmldef "mPwSer" as " mPwSer "; latexdef "mPwSer" as "\mathrm{mPwSer}"; -htmldef "mVar" as " mVar "; althtmldef "mVar" as " mVar "; +htmldef "mVar" as " mVar "; + althtmldef "mVar" as " mVar "; latexdef "mVar" as "\mathrm{mVar}"; -htmldef "mPoly" as " mPoly "; althtmldef "mPoly" as " mPoly "; +htmldef "mPoly" as " mPoly "; + althtmldef "mPoly" as " mPoly "; latexdef "mPoly" as "\mathrm{mPoly}"; -htmldef "evalSub" as " evalSub "; althtmldef "evalSub" as " evalSub "; +htmldef "evalSub" as " evalSub "; + althtmldef "evalSub" as " evalSub "; latexdef "evalSub" as "\mathbin{\operatorname{evalSub}}"; -htmldef "eval" as " eval "; althtmldef "eval" as " eval "; +htmldef "eval" as " eval "; + althtmldef "eval" as " eval "; latexdef "eval" as "\mathbin{\operatorname{eval}}"; -htmldef "mHomP" as " mHomP "; althtmldef "mHomP" as " mHomP "; +htmldef "mHomP" as " mHomP "; + althtmldef "mHomP" as " mHomP "; latexdef "mHomP" as "\mathrm{mHomP}"; -htmldef "mPSDer" as " mPSDer "; althtmldef "mPSDer" as " mPSDer "; +htmldef "mPSDer" as " mPSDer "; + althtmldef "mPSDer" as " mPSDer "; latexdef "mPSDer" as "\mathrm{mPSDer}"; htmldef "bag "; althtmldef "bag "; latexdef "1"; althtmldef "PwSer1" as "PwSer1"; latexdef "PwSer1" as "\mathrm{PwSer}_1"; -htmldef "var1" as "var1"; althtmldef "var1" as "var1"; +htmldef "var1" as "var1"; + althtmldef "var1" as "var1"; latexdef "var1" as "\mathrm{var}_1"; htmldef "Poly1" as "Poly1"; althtmldef "Poly1" as "Poly1"; @@ -436925,7 +436961,8 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the htmldef "deg1" as " deg1 "; althtmldef "deg1" as " deg1 "; latexdef "deg1" as " \mathrm{deg}_1 "; -htmldef "coe1" as "coe1"; althtmldef "coe1" as "coe1"; +htmldef "coe1" as "coe1"; + althtmldef "coe1" as "coe1"; latexdef "coe1" as "\mathrm{coe}_1"; htmldef "toPoly1" as "toPoly1"; althtmldef "toPoly1" as "toPoly1"; @@ -436999,7 +437036,8 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the "ClSubSp"; althtmldef "ClSubSp" as "ClSubSp"; latexdef "ClSubSp" as "\mathrm{ClSubSp}"; -htmldef "toHL" as "toHL"; althtmldef "toHL" as "toHL"; +htmldef "toHL" as "toHL"; + althtmldef "toHL" as "toHL"; latexdef "toHL" as "\mathrm{toHL}"; htmldef "proj" as " proj"; @@ -437009,7 +437047,8 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the " Hil"; althtmldef "Hil" as "Hil"; latexdef "Hil" as "\mathrm{Hil}"; -htmldef "OBasis" as "OBasis"; althtmldef "OBasis" as "OBasis"; +htmldef "OBasis" as "OBasis"; + althtmldef "OBasis" as "OBasis"; latexdef "OBasis" as "\mathrm{OBasis}"; htmldef "Moore" as "Moore"; althtmldef "Moore" as "Moore"; @@ -437162,9 +437201,11 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the " Nrm"; althtmldef "Nrm" as "Nrm"; latexdef "Nrm" as "\mathrm{Nrm}"; -htmldef "CNrm" as "CNrm"; althtmldef "CNrm" as "CNrm"; +htmldef "CNrm" as "CNrm"; + althtmldef "CNrm" as "CNrm"; latexdef "CNrm" as "\mathrm{CNrm}"; -htmldef "PNrm" as "PNrm"; althtmldef "PNrm" as "PNrm"; +htmldef "PNrm" as "PNrm"; + althtmldef "PNrm" as "PNrm"; latexdef "PNrm" as "\mathrm{PNrm}"; htmldef "Comp" as " Comp"; @@ -437175,18 +437216,20 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the latexdef "Conn" as "\mathrm{Conn}"; htmldef "1stc" as " 1stc"; - althtmldef "1stc" as "1st𝜔"; /* math italic omega */ - latexdef "1stc" as "1^\mathrm{st}\omega"; + althtmldef "1stc" as "1stω"; /* upright lowercase omega */ + latexdef "1stc" as "1^\text{st}\omega"; htmldef "2ndc" as " 2ndc"; - althtmldef "2ndc" as "2nd𝜔"; - latexdef "2ndc" as "2^\mathrm{nd}\omega"; -htmldef "Locally" as "Locally "; althtmldef "Locally" as "Locally "; + althtmldef "2ndc" as "2ndω"; /* upright lowercase omega */ + latexdef "2ndc" as "2^\text{nd}\omega"; +htmldef "Locally" as "Locally "; + althtmldef "Locally" as "Locally "; latexdef "Locally" as "\mathrm{Locally}"; htmldef "N-Locally" as "𝑛Locally "; althtmldef "N-Locally" as "𝑛-Locally "; latexdef "N-Locally" as "n\text{-Locally }"; -htmldef "kGen" as "𝑘Gen"; althtmldef "kGen" as "𝑘Gen"; +htmldef "kGen" as "𝑘Gen"; + althtmldef "kGen" as "𝑘Gen"; latexdef "kGen" as "k\mathrm{Gen}"; htmldef "tX" as " tX "; @@ -437196,9 +437239,10 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the " ^" + "k" + "o "; - althtmldef "^ko" as " ^ko "; - latexdef "^ko" as "\uparrow_{ko}"; -htmldef "KQ" as "KQ"; althtmldef "KQ" as "KQ"; + althtmldef "^ko" as " ^ko "; + latexdef "^ko" as "\mathbin{\uparrow_text{ko}}"; +htmldef "KQ" as "KQ"; + althtmldef "KQ" as "KQ"; latexdef "KQ" as "\mathrm{KQ}"; htmldef "Homeo" as " Homeo"; @@ -437230,24 +437274,25 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the htmldef "FilMap" as " FilMap "; althtmldef "FilMap" as " FilMap "; - latexdef "FilMap" as "\mathrm{FilMap}"; + latexdef "FilMap" as "\mathbin{\mathrm{FilMap}}"; htmldef "fLimf" as " fLimf "; althtmldef "fLimf" as " fLimf "; - latexdef "fLimf" as "\mathrm{fLimf}"; + latexdef "fLimf" as "\mathbin{\mathrm{fLimf}}"; htmldef "fLim" as " fLim "; althtmldef "fLim" as " fLim "; - latexdef "fLim" as "\mathrm{fLim}"; + latexdef "fLim" as "\mathbin{\mathrm{fLim}}"; htmldef "fClus" as " fClus "; althtmldef "fClus" as " fClus "; - latexdef "fClus" as "\mathrm{fClus}"; + latexdef "fClus" as "\mathbin{\mathrm{fClus}}"; htmldef "fClusf" as " fClusf "; althtmldef "fClusf" as " fClusf "; - latexdef "fClusf" as "\mathrm{fClusf}"; -htmldef "TopMnd" as "TopMnd"; althtmldef "TopMnd" as "TopMnd"; + latexdef "fClusf" as "\mathbin{\mathrm{fClusf}}"; +htmldef "TopMnd" as "TopMnd"; + althtmldef "TopMnd" as "TopMnd"; latexdef "TopMnd" as "\mathrm{TopMnd}"; htmldef "TopGrp" as " TopGrp"; @@ -437261,9 +437306,11 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the "ALT=' TopRing' TITLE='TopRing'>"; althtmldef "TopRing" as "TopRing"; latexdef "TopRing" as "\mathrm{TopRing}"; -htmldef "TopDRing" as "TopDRing"; althtmldef "TopDRing" as "TopDRing"; +htmldef "TopDRing" as "TopDRing"; + althtmldef "TopDRing" as "TopDRing"; latexdef "TopDRing" as "\mathrm{TopDRing}"; -htmldef "TopMod" as "TopMod"; althtmldef "TopMod" as "TopMod"; +htmldef "TopMod" as "TopMod"; + althtmldef "TopMod" as "TopMod"; latexdef "TopMod" as "\mathrm{TopMod}"; htmldef "TopVec" as " TopVec"; @@ -437278,21 +437325,27 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the " MetSp"; althtmldef "MetSp" as "MetSp"; latexdef "MetSp" as "\mathrm{MetSp}"; -htmldef "toMetSp" as "toMetSp"; althtmldef "toMetSp" as "toMetSp"; +htmldef "toMetSp" as "toMetSp"; + althtmldef "toMetSp" as "toMetSp"; latexdef "toMetSp" as "\mathrm{toMetSp}"; htmldef "norm" as " norm"; althtmldef "norm" as 'norm'; latexdef "norm" as '\operatorname{norm}'; -htmldef "NrmGrp" as "NrmGrp"; althtmldef "NrmGrp" as "NrmGrp"; +htmldef "NrmGrp" as "NrmGrp"; + althtmldef "NrmGrp" as "NrmGrp"; latexdef "NrmGrp" as "\mathrm{NrmGrp}"; -htmldef "toNrmGrp" as " toNrmGrp "; althtmldef "toNrmGrp" as " toNrmGrp "; +htmldef "toNrmGrp" as " toNrmGrp "; + althtmldef "toNrmGrp" as " toNrmGrp "; latexdef "toNrmGrp" as "\mathrm{toNrmGrp}"; -htmldef "NrmRing" as "NrmRing"; althtmldef "NrmRing" as "NrmRing"; +htmldef "NrmRing" as "NrmRing"; + althtmldef "NrmRing" as "NrmRing"; latexdef "NrmRing" as "\mathrm{NrmRing}"; -htmldef "NrmMod" as "NrmMod"; althtmldef "NrmMod" as "NrmMod"; +htmldef "NrmMod" as "NrmMod"; + althtmldef "NrmMod" as "NrmMod"; latexdef "NrmMod" as "\mathrm{NrmMod}"; -htmldef "NrmVec" as "NrmVec"; althtmldef "NrmVec" as "NrmVec"; +htmldef "NrmVec" as "NrmVec"; + althtmldef "NrmVec" as "NrmVec"; latexdef "NrmVec" as "\mathrm{NrmVec}"; htmldef "normOp" as " normOp"; @@ -437435,20 +437488,20 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the htmldef "_D" as " _D "; althtmldef "_D" as " D "; - latexdef "_D" as "\mathrm{D}"; + latexdef "_D" as "\mathbin{\mathrm{D}}"; htmldef "limCC" as " lim CC "; althtmldef "limCC" as " limℂ "; - latexdef "limCC" as "\mathrm{lim}_\mathbb{C}"; + latexdef "limCC" as "\mathbin{\lim_\mathbb{C}}"; htmldef "Dn" as " D" + "n"; althtmldef "Dn" as " D𝑛 "; - latexdef "Dn" as "\mathrm{D}^n"; + latexdef "Dn" as "\mathbin{\mathrm{D}^n}"; htmldef "C^n" as " C" + "^n"; - althtmldef "C^n" as "Cn"; - latexdef "C^n" as "C^n"; + althtmldef "C^n" as "𝓑C𝑛"; + latexdef "C^n" as "\operatorname{\mathcal{C}^n}"; htmldef "Monic1p" as "Monic1p"; althtmldef "Monic1p" as "Monic1p"; latexdef "Monic1p" as "\mathrm{Monic}_{1p}"; @@ -438377,13 +438430,17 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the "1/ _G"; althtmldef "1/_G" as "1/Γ"; latexdef "1/_G" as "1/\Gamma"; -htmldef "Retr" as " Retr "; althtmldef "Retr" as " Retr "; +htmldef "Retr" as " Retr "; + althtmldef "Retr" as " Retr "; latexdef "Retr" as "\mathrm{Retr}"; -htmldef "PConn" as "PConn"; althtmldef "PConn" as "PConn"; +htmldef "PConn" as "PConn"; + althtmldef "PConn" as "PConn"; latexdef "PConn" as " \mathrm{PConn} "; -htmldef "SConn" as "SConn"; althtmldef "SConn" as "SConn"; +htmldef "SConn" as "SConn"; + althtmldef "SConn" as "SConn"; latexdef "SConn" as "\mathrm{SConn}"; -htmldef "CovMap" as " CovMap "; althtmldef "CovMap" as " CovMap "; +htmldef "CovMap" as " CovMap "; + althtmldef "CovMap" as " CovMap "; latexdef "CovMap" as " \mathrm{CovMap} "; htmldef "e.g" as " e.g "; @@ -438480,102 +438537,149 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the " ZF"; althtmldef "ZF" as "ZF"; latexdef "ZF" as "\mathsf{ZF}"; -htmldef "mCN" as "mCN"; althtmldef "mCN" as "mCN"; +htmldef "mCN" as "mCN"; + althtmldef "mCN" as "mCN"; latexdef "mCN" as "\mathrm{mCN}"; -htmldef "mVR" as "mVR"; althtmldef "mVR" as "mVR"; +htmldef "mVR" as "mVR"; + althtmldef "mVR" as "mVR"; latexdef "mVR" as "\mathrm{mVR}"; -htmldef "mType" as "mType"; althtmldef "mType" as "mType"; +htmldef "mType" as "mType"; + althtmldef "mType" as "mType"; latexdef "mType" as "\mathrm{mType}"; -htmldef "mVT" as "mVT"; althtmldef "mVT" as "mVT"; +htmldef "mVT" as "mVT"; + althtmldef "mVT" as "mVT"; latexdef "mVT" as "\mathrm{mVT}"; -htmldef "mTC" as "mTC"; althtmldef "mTC" as "mTC"; +htmldef "mTC" as "mTC"; + althtmldef "mTC" as "mTC"; latexdef "mTC" as "\mathrm{mTC}"; -htmldef "mAx" as "mAx"; althtmldef "mAx" as "mAx"; +htmldef "mAx" as "mAx"; + althtmldef "mAx" as "mAx"; latexdef "mAx" as "\mathrm{mAx}"; -htmldef "mREx" as "mREx"; althtmldef "mREx" as "mREx"; +htmldef "mREx" as "mREx"; + althtmldef "mREx" as "mREx"; latexdef "mREx" as "\mathrm{mREx}"; -htmldef "mEx" as "mEx"; althtmldef "mEx" as "mEx"; +htmldef "mEx" as "mEx"; + althtmldef "mEx" as "mEx"; latexdef "mEx" as "\mathrm{mEx}"; -htmldef "mDV" as "mDV"; althtmldef "mDV" as "mDV"; +htmldef "mDV" as "mDV"; + althtmldef "mDV" as "mDV"; latexdef "mDV" as "\mathrm{mDV}"; -htmldef "mVars" as "mVars"; althtmldef "mVars" as "mVars"; +htmldef "mVars" as "mVars"; + althtmldef "mVars" as "mVars"; latexdef "mVars" as "\mathrm{mVars}"; -htmldef "mRSubst" as "mRSubst"; althtmldef "mRSubst" as "mRSubst"; +htmldef "mRSubst" as "mRSubst"; + althtmldef "mRSubst" as "mRSubst"; latexdef "mRSubst" as "\mathrm{mRSubst}"; -htmldef "mSubst" as "mSubst"; althtmldef "mSubst" as "mSubst"; +htmldef "mSubst" as "mSubst"; + althtmldef "mSubst" as "mSubst"; latexdef "mSubst" as "\mathrm{mSubst}"; -htmldef "mVH" as "mVH"; althtmldef "mVH" as "mVH"; +htmldef "mVH" as "mVH"; + althtmldef "mVH" as "mVH"; latexdef "mVH" as "\mathrm{mVH}"; -htmldef "mPreSt" as "mPreSt"; althtmldef "mPreSt" as "mPreSt"; +htmldef "mPreSt" as "mPreSt"; + althtmldef "mPreSt" as "mPreSt"; latexdef "mPreSt" as "\mathrm{mPreSt}"; -htmldef "mStRed" as "mStRed"; althtmldef "mStRed" as "mStRed"; +htmldef "mStRed" as "mStRed"; + althtmldef "mStRed" as "mStRed"; latexdef "mStRed" as "\mathrm{mStRed}"; -htmldef "mStat" as "mStat"; althtmldef "mStat" as "mStat"; +htmldef "mStat" as "mStat"; + althtmldef "mStat" as "mStat"; latexdef "mStat" as "\mathrm{mStat}"; -htmldef "mFS" as "mFS"; althtmldef "mFS" as "mFS"; +htmldef "mFS" as "mFS"; + althtmldef "mFS" as "mFS"; latexdef "mFS" as "\mathrm{mFS}"; -htmldef "mCls" as "mCls"; althtmldef "mCls" as "mCls"; +htmldef "mCls" as "mCls"; + althtmldef "mCls" as "mCls"; latexdef "mCls" as "\mathrm{mCls}"; -htmldef "mPPSt" as "mPPSt"; althtmldef "mPPSt" as "mPPSt"; +htmldef "mPPSt" as "mPPSt"; + althtmldef "mPPSt" as "mPPSt"; latexdef "mPPSt" as "\mathrm{mPPSt}"; -htmldef "mThm" as "mThm"; althtmldef "mThm" as "mThm"; +htmldef "mThm" as "mThm"; + althtmldef "mThm" as "mThm"; latexdef "mThm" as "\mathrm{mThm}"; -htmldef "m0St" as "m0St"; althtmldef "m0St" as "m0St"; +htmldef "m0St" as "m0St"; + althtmldef "m0St" as "m0St"; latexdef "m0St" as "\mathrm{m0St}"; -htmldef "mSA" as "mSA"; althtmldef "mSA" as "mSA"; +htmldef "mSA" as "mSA"; + althtmldef "mSA" as "mSA"; latexdef "mSA" as "\mathrm{mSA}"; -htmldef "mWGFS" as "mWGFS"; althtmldef "mWGFS" as "mWGFS"; +htmldef "mWGFS" as "mWGFS"; + althtmldef "mWGFS" as "mWGFS"; latexdef "mWGFS" as "\mathrm{mWGFS}"; -htmldef "mSyn" as "mSyn"; althtmldef "mSyn" as "mSyn"; +htmldef "mSyn" as "mSyn"; + althtmldef "mSyn" as "mSyn"; latexdef "mSyn" as "\mathrm{mSyn}"; -htmldef "mESyn" as "mESyn"; althtmldef "mESyn" as "mESyn"; +htmldef "mESyn" as "mESyn"; + althtmldef "mESyn" as "mESyn"; latexdef "mESyn" as "\mathrm{mESyn}"; -htmldef "mGFS" as "mGFS"; althtmldef "mGFS" as "mGFS"; +htmldef "mGFS" as "mGFS"; + althtmldef "mGFS" as "mGFS"; latexdef "mGFS" as "\mathrm{mGFS}"; -htmldef "mTree" as "mTree"; althtmldef "mTree" as "mTree"; +htmldef "mTree" as "mTree"; + althtmldef "mTree" as "mTree"; latexdef "mTree" as "\mathrm{mTree}"; -htmldef "mST" as "mST"; althtmldef "mST" as "mST"; +htmldef "mST" as "mST"; + althtmldef "mST" as "mST"; latexdef "mST" as "\mathrm{mST}"; -htmldef "mSAX" as "mSAX"; althtmldef "mSAX" as "mSAX"; +htmldef "mSAX" as "mSAX"; + althtmldef "mSAX" as "mSAX"; latexdef "mSAX" as "\mathrm{mSAX}"; -htmldef "mUFS" as "mUFS"; althtmldef "mUFS" as "mUFS"; +htmldef "mUFS" as "mUFS"; + althtmldef "mUFS" as "mUFS"; latexdef "mUFS" as "\mathrm{mUFS}"; -htmldef "mUV" as "mUV"; althtmldef "mUV" as "mUV"; +htmldef "mUV" as "mUV"; + althtmldef "mUV" as "mUV"; latexdef "mUV" as "\mathrm{mUV}"; -htmldef "mVL" as "mVL"; althtmldef "mVL" as "mVL"; +htmldef "mVL" as "mVL"; + althtmldef "mVL" as "mVL"; latexdef "mVL" as "\mathrm{mVL}"; -htmldef "mVSubst" as "mVSubst"; althtmldef "mVSubst" as "mVSubst"; +htmldef "mVSubst" as "mVSubst"; + althtmldef "mVSubst" as "mVSubst"; latexdef "mVSubst" as "\mathrm{mVSubst}"; -htmldef "mFresh" as "mFresh"; althtmldef "mFresh" as "mFresh"; +htmldef "mFresh" as "mFresh"; + althtmldef "mFresh" as "mFresh"; latexdef "mFresh" as "\mathrm{mFresh}"; -htmldef "mFRel" as "mFRel"; althtmldef "mFRel" as "mFRel"; +htmldef "mFRel" as "mFRel"; + althtmldef "mFRel" as "mFRel"; latexdef "mFRel" as "\mathrm{mFRel}"; -htmldef "mEval" as "mEval"; althtmldef "mEval" as "mEval"; +htmldef "mEval" as "mEval"; + althtmldef "mEval" as "mEval"; latexdef "mEval" as "\mathrm{mEval}"; -htmldef "mMdl" as "mMdl"; althtmldef "mMdl" as "mMdl"; +htmldef "mMdl" as "mMdl"; + althtmldef "mMdl" as "mMdl"; latexdef "mMdl" as "\mathrm{mMdl}"; -htmldef "mUSyn" as "mUSyn"; althtmldef "mUSyn" as "mUSyn"; +htmldef "mUSyn" as "mUSyn"; + althtmldef "mUSyn" as "mUSyn"; latexdef "mUSyn" as "\mathrm{mUSyn}"; -htmldef "mGMdl" as "mGMdl"; althtmldef "mGMdl" as "mGMdl"; +htmldef "mGMdl" as "mGMdl"; + althtmldef "mGMdl" as "mGMdl"; latexdef "mGMdl" as "\mathrm{mGMdl}"; -htmldef "mItp" as "mItp"; althtmldef "mItp" as "mItp"; +htmldef "mItp" as "mItp"; + althtmldef "mItp" as "mItp"; latexdef "mItp" as "\mathrm{mItp}"; -htmldef "mFromItp" as "mFromItp"; althtmldef "mFromItp" as "mFromItp"; +htmldef "mFromItp" as "mFromItp"; + althtmldef "mFromItp" as "mFromItp"; latexdef "mFromItp" as "\mathrm{mFromItp}"; -htmldef "IntgRing" as " IntgRing "; althtmldef "IntgRing" as " IntgRing "; +htmldef "IntgRing" as " IntgRing "; + althtmldef "IntgRing" as " IntgRing "; latexdef "IntgRing" as "\mathrm{IntgRing}"; -htmldef "cplMetSp" as " cplMetSp "; althtmldef "cplMetSp" as " cplMetSp "; +htmldef "cplMetSp" as " cplMetSp "; + althtmldef "cplMetSp" as " cplMetSp "; latexdef "cplMetSp" as "\mathrm{cplMetSp}"; -htmldef "HomLimB" as " HomLimB "; althtmldef "HomLimB" as " HomLimB "; +htmldef "HomLimB" as " HomLimB "; + althtmldef "HomLimB" as " HomLimB "; latexdef "HomLimB" as "\mathrm{HomLimB}"; -htmldef "HomLim" as " HomLim "; althtmldef "HomLim" as " HomLim "; +htmldef "HomLim" as " HomLim "; + althtmldef "HomLim" as " HomLim "; latexdef "HomLim" as "\mathrm{HomLim}"; -htmldef "polyFld" as " polyFld "; althtmldef "polyFld" as " polyFld "; +htmldef "polyFld" as " polyFld "; + althtmldef "polyFld" as " polyFld "; latexdef "polyFld" as "\mathrm{polyFld}"; htmldef "splitFld1" as " splitFld1 "; althtmldef "splitFld1" as " splitFld1 "; latexdef "splitFld1" as "\mathrm{splitFld}_1"; -htmldef "splitFld" as " splitFld "; althtmldef "splitFld" as " splitFld "; +htmldef "splitFld" as " splitFld "; + althtmldef "splitFld" as " splitFld "; latexdef "splitFld" as "\mathrm{splitFld}"; htmldef "polySplitLim" as " polySplitLim "; althtmldef "polySplitLim" as " polySplitLim "; @@ -438583,22 +438687,29 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the htmldef "ZRing" as "ZRing"; althtmldef "ZRing" as "ZRing"; latexdef "ZRing" as "\mathrm{ZRing}"; -htmldef "GF" as " GF "; althtmldef "GF" as " GF "; +htmldef "GF" as " GF "; + althtmldef "GF" as " GF "; latexdef "GF" as "\mathrm{GF}"; htmldef "GF_oo" as "GF∞"; althtmldef "GF_oo" as "GF∞"; latexdef "GF_oo" as "\mathrm{GF}_\infty"; -htmldef "~Qp" as "~Qp"; althtmldef "~Qp" as "~Qp"; +htmldef "~Qp" as "~Qp"; + althtmldef "~Qp" as "~Qp"; latexdef "~Qp" as "\sim_{\mathbb{Q}_p}"; -htmldef "/Qp" as "/Qp"; althtmldef "/Qp" as "/Qp"; +htmldef "/Qp" as "/Qp"; + althtmldef "/Qp" as "/Qp"; latexdef "/Qp" as "/_{\mathbb{Q}_p}"; -htmldef "Qp" as "Qp"; althtmldef "Qp" as "Qp"; +htmldef "Qp" as "Qp"; + althtmldef "Qp" as "Qp"; latexdef "Qp" as "\mathbb{Q}_p"; -htmldef "Zp" as "Zp"; althtmldef "Zp" as "Zp"; +htmldef "Zp" as "Zp"; + althtmldef "Zp" as "Zp"; latexdef "Zp" as "\mathbb{Z}_p"; -htmldef "_Qp" as "_Qp"; althtmldef "_Qp" as "_Qp"; +htmldef "_Qp" as "_Qp"; + althtmldef "_Qp" as "_Qp"; latexdef "_Qp" as "\overline{\mathbb{Q}_p}"; -htmldef "Cp" as "Cp"; althtmldef "Cp" as "Cp"; +htmldef "Cp" as "Cp"; + althtmldef "Cp" as "Cp"; latexdef "Cp" as "\mathbb{C}_p"; /* End of Mario Carneiro's mathbox */ @@ -439496,9 +439607,11 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the /* End of Alexander van der Vekens's mathbox */ /* Mathbox of Emmett Weisz */ -htmldef "setrecs" as "setrecs"; althtmldef "setrecs" as "setrecs"; +htmldef "setrecs" as "setrecs"; + althtmldef "setrecs" as "setrecs"; latexdef "setrecs" as "\mathrm{setrecs}"; -htmldef "Pg" as "Pg"; althtmldef "Pg" as "Pg"; +htmldef "Pg" as "Pg"; + althtmldef "Pg" as "Pg"; latexdef "Pg" as "\mathrm{Pg}"; /* End of Emmett Weisz's mathbox */ @@ -441109,7 +441222,8 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the althtmldef "AtLat" as "AtLat"; latexdef "AtLat" as "\mathrm{AtLat}"; /* -htmldef "AtsLat" as "AtsLat"; althtmldef "AtsLat" as "AtsLat"; +htmldef "AtsLat" as "AtsLat"; + althtmldef "AtsLat" as "AtsLat"; */ htmldef "CvLat" as " CvLat"; @@ -441122,23 +441236,35 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the htmldef "ser" as "ser"; althtmldef "ser" as "ser"; latexdef "ser" as "\mathrm{ser}"; -htmldef "fcard" as "fcard"; althtmldef "fcard" as "fcard"; -htmldef "idsumf" as "idsumf"; althtmldef "idsumf" as "idsumf"; -htmldef "idsum" as "idsum"; althtmldef "idsum" as "idsum"; -htmldef "C_rng" as "C_rng"; althtmldef "C_rng" as "C_rng"; -htmldef "-vNEW" as "-vNEW"; althtmldef "-vNEW" as "-vNEW"; -htmldef "RVecNEW" as "RVecNEW"; althtmldef "RVecNEW" as "RVecNEW"; +htmldef "fcard" as "fcard"; + althtmldef "fcard" as "fcard"; +htmldef "idsumf" as "idsumf"; + althtmldef "idsumf" as "idsumf"; +htmldef "idsum" as "idsum"; + althtmldef "idsum" as "idsum"; +htmldef "C_rng" as "C_rng"; + althtmldef "C_rng" as "C_rng"; +htmldef "-vNEW" as "-vNEW"; + althtmldef "-vNEW" as "-vNEW"; +htmldef "RVecNEW" as "RVecNEW"; + althtmldef "RVecNEW" as "RVecNEW"; htmldef "+ss" as " +" + "ss"; althtmldef "+ss" as "+ss"; latexdef "+ss" as "+_\mathrm{ss}"; -htmldef "SubSpNEW" as "SubSpNEW"; althtmldef "SubSpNEW" as "SubSpNEW"; -htmldef "spanNEW" as "spanNEW"; althtmldef "spanNEW" as "spanNEW"; -htmldef "o+" as "o+"; althtmldef "o+" as "o+"; -htmldef "Ev" as "Ev"; althtmldef "Ev" as "Ev"; -htmldef "/v" as "/v"; althtmldef "/v" as "/v"; -htmldef "normv" as "normv"; althtmldef "normv" as "normv"; +htmldef "SubSpNEW" as "SubSpNEW"; + althtmldef "SubSpNEW" as "SubSpNEW"; +htmldef "spanNEW" as "spanNEW"; + althtmldef "spanNEW" as "spanNEW"; +htmldef "o+" as "o+"; + althtmldef "o+" as "o+"; +htmldef "Ev" as "Ev"; + althtmldef "Ev" as "Ev"; +htmldef "/v" as "/v"; + althtmldef "/v" as "/v"; +htmldef "normv" as "normv"; + althtmldef "normv" as "normv"; */ htmldef "LLines" as " LLines"; @@ -441188,12 +441314,18 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the althtmldef "PSubCl" as "PSubCl"; latexdef "PSubCl" as "\mathrm{PSubCl}"; /* -htmldef "sumP" as "sumP"; althtmldef "sumP" as "sumP"; -htmldef "Indep" as "Indep"; althtmldef "Indep" as "Indep"; -htmldef "BasesP" as "BasesP"; althtmldef "BasesP" as "BasesP"; -htmldef "rankP" as "rankP"; althtmldef "rankP" as "rankP"; -htmldef "PHyp" as "PHyp"; althtmldef "PHyp" as "PHyp"; -htmldef "ww" as "ww"; althtmldef "ww" as "ww"; +htmldef "sumP" as "sumP"; + althtmldef "sumP" as "sumP"; +htmldef "Indep" as "Indep"; + althtmldef "Indep" as "Indep"; +htmldef "BasesP" as "BasesP"; + althtmldef "BasesP" as "BasesP"; +htmldef "rankP" as "rankP"; + althtmldef "rankP" as "rankP"; +htmldef "PHyp" as "PHyp"; + althtmldef "PHyp" as "PHyp"; +htmldef "ww" as "ww"; + althtmldef "ww" as "ww"; */ htmldef "LHyp" as " LHyp"; @@ -441228,7 +441360,8 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the althtmldef "Trn" as "Trn"; latexdef "Trn" as "\mathrm{Trn}"; /* -htmldef "trP" as "trP"; althtmldef "trP" as "trP"; +htmldef "trP" as "trP"; + althtmldef "trP" as "trP"; */ htmldef "trL" as " trL"; @@ -441331,31 +441464,56 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the htmldef "mapd" as "mapd"; althtmldef "mapd" as "mapd"; latexdef "mapd" as "\mathrm{mapd}"; -htmldef "GrpEndo" as "GrpEndo"; althtmldef "GrpEndo" as "GrpEndo"; -htmldef "DVecAEndo" as "DVecAEndo"; althtmldef "DVecAEndo" as "DVecAEndo"; -htmldef "ERing" as "ERing"; althtmldef "ERing" as "ERing"; -htmldef "TPEndo" as "TPEndo"; althtmldef "TPEndo" as "TPEndo"; -htmldef "DRing" as "DRing"; althtmldef "DRing" as "DRing"; -htmldef "DVecA" as "DVecA"; althtmldef "DVecA" as "DVecA"; -htmldef "DVIsoPre" as "DVIsoPre"; althtmldef "DVIsoPre" as "DVIsoPre"; -htmldef "DVecB" as "DVecB"; althtmldef "DVecB" as "DVecB"; -htmldef "DVecH" as "DVecH"; althtmldef "DVecH" as "DVecH"; -htmldef "ee" as "ee"; althtmldef "ee" as "ee"; -htmldef "DVIsoA" as "DVIsoA"; althtmldef "DVIsoA" as "DVIsoA"; -htmldef "qtr" as "qtr"; althtmldef "qtr" as "qtr"; -htmldef "DVIsoB" as "DVIsoB"; althtmldef "DVIsoB" as "DVIsoB"; -htmldef "DVIsoC" as "DVIsoC"; althtmldef "DVIsoC" as "DVIsoC"; -htmldef "DVIsoH" as "DVIsoH"; althtmldef "DVIsoH" as "DVIsoH"; -htmldef "S_|_" as "S_|_"; althtmldef "S_|_" as "S_|_"; -htmldef "Ropp" as "Ropp"; althtmldef "Ropp" as "Ropp"; -htmldef "Vldual" as "Vldual"; althtmldef "Vldual" as "Vldual"; -htmldef "vecdom" as "vecdom"; althtmldef "vecdom" as "vecdom"; -htmldef "ker" as "ker"; althtmldef "ker" as "ker"; -htmldef "mapd" as "mapd"; althtmldef "mapd" as "mapd"; -htmldef "eimage" as "eimage"; althtmldef "eimage" as "eimage"; -htmldef "hmap" as "hmap"; althtmldef "hmap" as "hmap"; -htmldef "gmap" as "gmap"; althtmldef "gmap" as "gmap"; -htmldef "HLtoHil" as "HLtoHil"; althtmldef "HLtoHil" as "HLtoHil"; +htmldef "GrpEndo" as "GrpEndo"; + althtmldef "GrpEndo" as "GrpEndo"; +htmldef "DVecAEndo" as "DVecAEndo"; + althtmldef "DVecAEndo" as "DVecAEndo"; +htmldef "ERing" as "ERing"; + althtmldef "ERing" as "ERing"; +htmldef "TPEndo" as "TPEndo"; + althtmldef "TPEndo" as "TPEndo"; +htmldef "DRing" as "DRing"; + althtmldef "DRing" as "DRing"; +htmldef "DVecA" as "DVecA"; + althtmldef "DVecA" as "DVecA"; +htmldef "DVIsoPre" as "DVIsoPre"; + althtmldef "DVIsoPre" as "DVIsoPre"; +htmldef "DVecB" as "DVecB"; + althtmldef "DVecB" as "DVecB"; +htmldef "DVecH" as "DVecH"; + althtmldef "DVecH" as "DVecH"; +htmldef "ee" as "ee"; + althtmldef "ee" as "ee"; +htmldef "DVIsoA" as "DVIsoA"; + althtmldef "DVIsoA" as "DVIsoA"; +htmldef "qtr" as "qtr"; + althtmldef "qtr" as "qtr"; +htmldef "DVIsoB" as "DVIsoB"; + althtmldef "DVIsoB" as "DVIsoB"; +htmldef "DVIsoC" as "DVIsoC"; + althtmldef "DVIsoC" as "DVIsoC"; +htmldef "DVIsoH" as "DVIsoH"; + althtmldef "DVIsoH" as "DVIsoH"; +htmldef "S_|_" as "S_|_"; + althtmldef "S_|_" as "S_|_"; +htmldef "Ropp" as "Ropp"; + althtmldef "Ropp" as "Ropp"; +htmldef "Vldual" as "Vldual"; + althtmldef "Vldual" as "Vldual"; +htmldef "vecdom" as "vecdom"; + althtmldef "vecdom" as "vecdom"; +htmldef "ker" as "ker"; + althtmldef "ker" as "ker"; +htmldef "mapd" as "mapd"; + althtmldef "mapd" as "mapd"; +htmldef "eimage" as "eimage"; + althtmldef "eimage" as "eimage"; +htmldef "hmap" as "hmap"; + althtmldef "hmap" as "hmap"; +htmldef "gmap" as "gmap"; + althtmldef "gmap" as "gmap"; +htmldef "HLtoHil" as "HLtoHil"; + althtmldef "HLtoHil" as "HLtoHil"; */ /* End of Norm Megill's mathbox */ @@ -441370,27 +441528,35 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the /* End of Richard Penner's mathbox */ /* Mathbox of Glauco Siliprandi */ -htmldef "SAlg" as "SAlg"; althtmldef "SAlg" as "SAlg"; +htmldef "SAlg" as "SAlg"; + althtmldef "SAlg" as "SAlg"; latexdef "SAlg" as "\mathrm{SAlg}"; -htmldef "SalOn" as "SalOn"; althtmldef "SalOn" as "SalOn"; +htmldef "SalOn" as "SalOn"; + althtmldef "SalOn" as "SalOn"; latexdef "SalOn" as "\mathrm{SalOn}"; -htmldef "SalGen" as "SalGen"; althtmldef "SalGen" as "SalGen"; +htmldef "SalGen" as "SalGen"; + althtmldef "SalGen" as "SalGen"; latexdef "SalGen" as "\mathrm{SalGen}"; htmldef "sum^" as "Σ^"; althtmldef "sum^" as "Σ^"; latexdef "sum^" as "\sum\hat{\;}"; -htmldef "Meas" as "Meas"; althtmldef "Meas" as "Meas"; +htmldef "Meas" as "Meas"; + althtmldef "Meas" as "Meas"; latexdef "Meas" as "\mathrm{Meas}"; -htmldef "OutMeas" as "OutMeas"; althtmldef "OutMeas" as "OutMeas"; +htmldef "OutMeas" as "OutMeas"; + althtmldef "OutMeas" as "OutMeas"; latexdef "OutMeas" as "\mathrm{OutMeas}"; -htmldef "CaraGen" as "CaraGen"; althtmldef "CaraGen" as "CaraGen"; +htmldef "CaraGen" as "CaraGen"; + althtmldef "CaraGen" as "CaraGen"; latexdef "CaraGen" as "\mathrm{CaraGen}"; htmldef "voln*" as "voln*"; althtmldef "voln*" as "voln*"; latexdef "voln*" as "\operatorname{voln}^*"; -htmldef "voln" as "voln"; althtmldef "voln" as "voln"; +htmldef "voln" as "voln"; + althtmldef "voln" as "voln"; latexdef "voln" as "\mathrm{voln}"; -htmldef "SMblFn" as "SMblFn"; althtmldef "SMblFn" as "SMblFn"; +htmldef "SMblFn" as "SMblFn"; + althtmldef "SMblFn" as "SMblFn"; latexdef "SMblFn" as "\mathrm{SMblFn}"; htmldef "liminf" as "liminf"; althtmldef "liminf" as 'lim inf';