ABBR,MEANING AC,"Axiom of Choice, or set of absolutely continuous functions" a.c.,absolutely continuous acrd,inverse chord function ad,adjoint representation (or adjoint action) of a Lie group adj,adjugate of a matrix a.e.,almost everywhere Ai,Airy function AL,Action limit Alt,alternating group (Alt(n) is also written as An) A.M.,arithmetic mean arccos,inverse cosine function arccosec,inverse cosecant function (also written as arccsc) arccot,inverse cotangent function arccsc,inverse cosecant function (also written as arccosec) arcexc,"inverse excosecant function (also written as arcexcsc, arcexcosec)" arcexcosec,"inverse excosecant function (also written as arcexcsc, arcexc)" arcexcsc,"inverse excosecant function (also written as arcexcosec, arcexc)" arcexs,inverse exsecant function (also written as arcexsec) arcexsec,inverse exsecant function (also written as arcexs) arcosech,inverse hyperbolic cosecant function (also written as arcsch) arcosh,inverse hyperbolic cosine function arcoth,inverse hyperbolic cotangent function arcsch,inverse hyperbolic cosecant function (also written as arcosech) arcsec,inverse secant function arcsin,inverse sine function arctan,inverse tangent function arctan2,inverse tangent function with two arguments (also written as atan2) arg,argument of arg max,argument of the maximum arg min,argument of the minimum arsech,inverse hyperbolic secant function arsinh,inverse hyperbolic sine function artanh,inverse hyperbolic tangent function a.s.,almost surely atan2,inverse tangent function with two arguments (also written as arctan2) A.P.,arithmetic progression Aut,automorphism group bd,boundary (also written as fr or ∂) Bi,Airy function of the second kind BIDMAS,"Brackets, Indices, Divide, Multiply, Add, Subtract" Bias,bias of an estimator BWOC,by way of contradiction Card,"cardinality of a set (Card(X) is also written #X, ♯X or |X|)" cas,cos + sin function cdf,cumulative distribution function c.f.,cumulative frequency c.c.,complex conjugate char,characteristic of a ring Chi,hyperbolic cosine integral function Ci,cosine integral function cis,cos + i sin function (also written as expi) Cl,conjugacy class cl,topological closure CLT,central limit theorem cod,"codom,codomain" cok,"coker,cokernel" conv,convex hull of a set Cor,corollary corr,correlation cos,cosine function cosec,cosecant function (also written as csc) cosech,hyperbolic cosecant function (also written as csch) cosh,hyperbolic cosine function cosiv,"coversine function (also written as cover, covers, cvs)" cot,cotangent function (also written as ctg) coth,hyperbolic cotangent function cov,covariance of a pair of random variables cover,"coversine function (also written as covers, cvs, cosiv)" covercos,covercosine function (also written as cvc) covers,"coversine function (also written as cover, cvs, cosiv)" crd,chord function csc,cosecant function (also written as cosec) csch,hyperbolic cosecant function (also written as cosech) ctg,cotangent function (also written as cot) curl,curl of a vector field (also written as rot) cvc,covercosine function (also written as covercos) cvs,"coversine function (also written as cover, covers, cosiv)" def,define or definition. deg,"degree of a polynomial, or other recursively-defined objects such as well-formed formulas (also written as ∂)" del,"del, a differential operator (also written as {\displaystyle \nabla }\nabla )" det,determinant of a matrix or linear transformation dim,dimension of a vector space div,divergence of a vector field DNE,"a solution for an expression does not exist, or is undefined. Generally used with limits and integrals" dom,"domain of a function (Or, more generally, a relation)" End,categories of endomorphisms Ei,exponential integral function epi,epigraph of a function Eqn,equation erf,error function erfc,complementary error function etr,exponent of the trace exc,"excosecant function (also written as excsc, excosec)" excosec,"excosecant function (also written as excsc, exc)" excsc,"excosecant function (also written as excosec, exc)" exs,exsecant function (also written as exsec) exsec,exsecant function (also written as exs) exp,exponential function (exp x is also written as ex) expi,cos + i sin function (also written as cis) expm1,exponential minus 1 function (also written as exp1m) exp1m,exponential minus 1 function (also written as expm1) Ext,Ext functor. ext,exterior. extr,a set of extreme points of a set. FIP,finite intersection property. FOC,first order condition. FOL,first-order logic. fr,boundary (also written as bd or ∂) Frob,Frobenius endomorphism. Gal,Galois group (also written as Γ) gcd,greatest common divisor of two numbers (also written as hcf) gd,Gudermannian function GF,Galois field GF,generating function GL,general linear group GM,geometric mean glb,greatest lower bound (also written as inf) GP,geometric progression grad,gradient of a function hacover,"hacoversine function (also written as hacovers, hcv)" hacovercos,hacovercosine function (also written as hcc) hacovers,"hacoversine function (also written as hacover, hcv)" hav,haversine function (also written as sem) havercos,havercosine function (also written as hvc) hcc,hacovercosine function (also written as hacovercos) hcv,"hacoversine function (also written as hacover, hacovers)" hcf,highest common factor of two numbers (also written as gcd) H.M.,harmonic mean HOL,higher-order logic Hom,Hom functor hom,hom-class hot,higher order term HOTPO,half or triple plus one hvc,havercosine function (also written as havercos) hyp,hypograph of a function iff,if and only if IH,induction hypothesis iid,independent and identically distributed random variables Im,imaginary part of a complex number (also written as {\displaystyle \Im }\Im ) im,image inf,infimum of a set (also written as glb) int,interior I.o.,Infinitely often ker,kernel lb,binary logarithm (log2) (also written as ld) lcm,lowest common multiple (a.k.a. least common multiple) of two numbers LCHS,locally compact Hausdorff second countable ld,binary logarithm (log2) (also written as lb) lerp,linear interpolation lg,common logarithm (log10) or binary logarithm (log2) LHS,left-hand side of an equation Li,offset logarithmic integral function li,logarithmic integral function or linearly independent lim,"limit of a sequence, or of a function" lim inf,limit inferior lim sup,limit superior LLN,law of large numbers ln,"natural logarithm, loge" lnp1,natural logarithm plus 1 function ln1p,natural logarithm plus 1 function log,"logarithm (If without a subscript, this may mean either log10 or loge)" logh,"natural logarithm, loge" LST,language of set theory lub,least upper bound (also written sup) max,maximum of a set MGF,moment-generating function M.I.,mathematical induction min,minimum of a set mod,modulo Mp,metaplectic group mtanh,modified hyperbolic tangent function (also written as mth) mth,modified hyperbolic tangent function (also written as mtanh) mx,matrix NAND,not-and in logic No.,number NOR,not-or in logic NTS,need to show OBGF,ordinary bivariate generating function ob,object class ord,ordinal number of a well-ordered set pdf,probability density function pf,proof PGL,projective general linear group PI,the constant 3.14159265359 Pin,pin group. pmf,probability mass function Pn,previous number Pr,probability of an event PSL,projective special linear group PSO,projective orthogonal group. PSU,projective special unitary group PU,projective unitary group QED,"Quod erat demonstrandum, a Latin phrase used at the end of a definitive proof" QEF,"quod erat faciendum, a Latin phrase sometimes used at the end of a geometrical construction" ran,range of a function rank,rank of a matrix (also written as rk) Re,real part of a complex number resp,respectively RHS,right-hand side of an equation rk,rank (also written as rank) RMS,"rms,root mean square" rng,non-unital ring rot,rotor of a vector field (also written as curl) RTP,required to prove RV,random variable (or as R.V) R,Real numbers SD,standard deviation SE,standard error sec,secant function sech,hyperbolic secant function seg,initial segment of sem,haversine function (also written as hav) SFIP,strong finite intersection property sgn,sign function Shi,hyperbolic sine integral function Si,sine integral function sin,sine function sinc,sinc function sinh,hyperbolic sine function siv,"versine function (also written as ver, vers)" SL,special linear group SO,special orthogonal group SOC,second order condition Soln,solution Sp,symplectic group Sp,"trace of a matrix, from the German 'spur' used for the trace" sp,"linear span of a set of vectors (also written as span or written with angle brackets)" Spec,spectrum of a ring Spin,spin group s.t.,such that or so that or subject to st,standard part function STP,[it is] sufficient to prove SU,special unitary group sup,"supremum of a set (also written as lub, which stands for least upper bound)" supp,support of a function swish,"swish function, an activation function in data analysis" Sym,"symmetric group (Sym(n) is also written as Sn) or symmetric algebra" tan,"tangent function (also written as tgn, tg)" tanh,hyperbolic tangent function TAU,"the constant 6.283185307179586476925286766559" TFAE,the following are equivalent tg,"tangent function (also written as tan, tgn)" tgn,"tangent function (also written as tan, tg)" Thm,theorem Tor,Tor functor Tr,"trace, either the field trace, or the trace of a matrix or linear transformation" undef,a function or expression is undefined V,volume var,variance of a random variable vcs,vercosine function (also written as vercos) ver,"versine function (also written as vers, siv)" vercos,vercosine function (also written as vcs) vers,"versine function (also written as ver, siv)" W^5,"which was what we wanted. Synonym of Q.E.D" walog,without any loss of generality wff,well-formed formula whp,with high probability wlog,without loss of generality WMA,we may assume. WO,well-ordered set wp1,with probability 1 wrt,with respect to or with regard to WTP,want to prove WTS,want to show XOR,exclusive or in logic XYZ,"Cartesian coordinate system (x,y,z)" ZF,Zermelo–Fraenkel axioms of set theory ZFC,Zermelo–Fraenkel axioms (with the Axiom of Choice) of set theory