PowerShell/Data/Abbr/mathematics.csv

1	ABBR	TERM
2	a.c.	absolutely continuous.
3	acrd	inverse chord function.
4	ad	adjoint representation (or adjoint action) of a Lie group.
5	adj	adjugate of a matrix.
6	a.e.	almost everywhere.
7	Ai	Airy function.
8	AL	Action limit.
9	Alt	alternating group (Alt(n) is also written as An.)
10	A.M.	arithmetic mean.
11	arccos	inverse cosine function.
12	arccosec	inverse cosecant function. (Also written as arccsc.)
13	arccot	inverse cotangent function.
14	arccsc	inverse cosecant function. (Also written as arccosec.)
15	arcexs	inverse exsecant function. (Also written as arcexsec.)
16	arcexsec	inverse exsecant function. (Also written as arcexs.)
17	arcosech	inverse hyperbolic cosecant function. (Also written as arcsch.)
18	arcosh	inverse hyperbolic cosine function.
19	arcoth	inverse hyperbolic cotangent function.
20	arcsch	inverse hyperbolic cosecant function. (Also written as arcosech.)
21	arcsec	inverse secant function.
22	arcsin	inverse sine function.
23	arctan	inverse tangent function.
24	arctan2	inverse tangent function with two arguments. (Also written as atan2.)
25	arg	argument of
26	arg max	argument of the maximum.
27	arg min	argument of the minimum.
28	arsech	inverse hyperbolic secant function.
29	arsinh	inverse hyperbolic sine function.
30	artanh	inverse hyperbolic tangent function.
31	a.s.	almost surely.
32	atan2	inverse tangent function with two arguments. (Also written as arctan2.)
33	A.P.	arithmetic progression.
34	Aut	automorphism group.
35	bd	boundary. (Also written as fr or ∂.)
36	Bi	Airy function of the second kind.
37	Bias	bias of an estimator
38	BWOC	by way of contradiction
39	cas	cos + sin function.
40	cdf	cumulative distribution function.
41	c.f.	cumulative frequency.
42	c.c.	complex conjugate.
43	char	characteristic of a ring.
44	Chi	hyperbolic cosine integral function.
45	Ci	cosine integral function.
46	cis	cos + i sin function. (Also written as expi.)
47	Cl	conjugacy class.
48	cl	topological closure.
49	CLT	central limit theorem.
50	conv	convex hull of a set.
51	Cor	corollary.
52	corr	correlation.
53	cos	cosine function.
54	cosec	cosecant function. (Also written as csc.)
55	cosech	hyperbolic cosecant function. (Also written as csch.)
56	cosh	hyperbolic cosine function.
57	cot	cotangent function. (Also written as ctg.)
58	coth	hyperbolic cotangent function.
59	cov	covariance of a pair of random variables.
60	covercos	covercosine function. (Also written as cvc.)
61	crd	chord function.
62	csc	cosecant function. (Also written as cosec.)
63	csch	hyperbolic cosecant function. (Also written as cosech.)
64	ctg	cotangent function. (Also written as cot.)
65	curl	curl of a vector field. (Also written as rot.)
66	cvc	covercosine function. (Also written as covercos.)
67	def	define or definition.
68	det	determinant of a matrix or linear transformation.
69	dim	dimension of a vector space.
70	div	divergence of a vector field.
71	End	categories of endomorphisms.
72	Ei	exponential integral function.
73	epi	epigraph of a function.
74	Eqn	equation.
75	erf	error function.
76	erfc	complementary error function.
77	etr	exponent of the trace.
78	exs	exsecant function. (Also written as exsec.)
79	exsec	exsecant function. (Also written as exs.)
80	exp	exponential function. (exp x is also written as ex.)
81	expi	cos + i sin function. (Also written as cis.)
82	expm1	exponential minus 1 function. (Also written as exp1m.)
83	exp1m	exponential minus 1 function. (Also written as expm1.)
84	Ext	Ext functor.
85	ext	exterior.
86	extr	a set of extreme points of a set.
87	FIP	finite intersection property.
88	FOC	first order condition.
89	FOL	first-order logic.
90	fr	boundary. (Also written as bd or ∂.)
91	Frob	Frobenius endomorphism.
92	Gal	Galois group. (Also written as Γ.)
93	gcd	greatest common divisor of two numbers. (Also written as hcf.)
94	gd	Gudermannian function.
95	GF	Galois field.
96	GF	generating function.
97	GL	general linear group.
98	GM	geometric mean.
99	glb	greatest lower bound. (Also written as inf.)
100	GP	geometric progression.
101	grad	gradient of a function.
102	hacovercos	hacovercosine function. (Also written as hcc.)
103	hav	haversine function. (Also written as sem.)
104	havercos	havercosine function. (Also written as hvc.)
105	hcc	hacovercosine function. (Also written as hacovercos.)
106	hcf	highest common factor of two numbers. (Also written as gcd.)
107	H.M.	harmonic mean.
108	HOL	higher-order logic.
109	Hom	Hom functor.
110	hom	hom-class.
111	hot	higher order term
112	HOTPO	half or triple plus one
113	hvc	havercosine function. (Also written as havercos.)
114	hyp	hypograph of a function.
115	iff	if and only if.
116	IH	induction hypothesis.
117	iid	independent and identically distributed random variables.
118	Im	imaginary part of a complex number (Also written as {\displaystyle \Im }\Im ).
119	im	image
120	inf	infimum of a set. (Also written as glb.)
121	int	interior.
122	I.o.	Infinitely often.
123	ker	kernel.
124	lb	binary logarithm (log2). (Also written as ld.)
125	lcm	lowest common multiple (a.k.a. least common multiple) of two numbers.
126	LCHS	locally compact Hausdorff second countable.
127	ld	binary logarithm (log2). (Also written as lb.)
128	lerp	linear interpolation.[5]
129	lg	common logarithm (log10) or binary logarithm (log2).
130	LHS	left-hand side of an equation.
131	Li	offset logarithmic integral function.
132	li	logarithmic integral function or linearly independent.
133	lim inf	limit inferior.
134	lim sup	limit superior.
135	LLN	law of large numbers.
136	lnp1	natural logarithm plus 1 function.
137	ln1p	natural logarithm plus 1 function.
138	LST	language of set theory.
139	lub	least upper bound. (Also written sup.)
140	max	maximum of a set.
141	MGF	moment-generating function.
142	M.I.	mathematical induction.
143	min	minimum of a set.
144	mod	modulo.
145	Mp	metaplectic group.
146	mtanh	modified hyperbolic tangent function. (Also written as mth.)
147	mth	modified hyperbolic tangent function. (Also written as mtanh.)
148	mx	matrix.
149	NAND	not-and in logic.
150	No.	number.
151	NOR	not-or in logic.
152	NTS	need to show.
153	OBGF	ordinary bivariate generating function.
154	ob	object class.
155	ord	ordinal number of a well-ordered set.[4]
156	pdf	probability density function.
157	pf	proof.
158	PGL	projective general linear group.
159	PI	the constant 3.14159265359
160	Pin	pin group.
161	pmf	probability mass function.
162	Pn	previous number.
163	Pr	probability of an event
164	PSL	projective special linear group.
165	PSO	projective orthogonal group.
166	PSU	projective special unitary group.
167	PU	projective unitary group.
168	ran	range of a function.
169	rank	rank of a matrix. (Also written as rk.)
170	Re	real part of a complex number
171	resp	respectively.
172	RHS	right-hand side of an equation.
173	rk	rank. (Also written as rank.)
174	rng	non-unital ring.
175	rot	rotor of a vector field. (Also written as curl.)
176	RTP	required to prove.
177	RV	random variable. (or as R.V.)
178	SD	standard deviation
179	SE	standard error
180	sec	secant function.
181	sech	hyperbolic secant function.
182	seg	initial segment of.[1]
183	sem	haversine function. (Also written as hav.)
184	SFIP	strong finite intersection property.
185	sgn	sign function.
186	Shi	hyperbolic sine integral function.
187	Si	sine integral function.
188	sin	sine function.
189	sinc	sinc function.
190	sinh	hyperbolic sine function.
191	SL	special linear group.
192	SO	special orthogonal group.
193	SOC	second order condition.
194	Soln	solution.
195	Sp	symplectic group.
196	sp	linear span of a set of vectors. (Also written as span or written with angle brackets.)
197	Spec	spectrum of a ring.
198	Spin	spin group.
199	s.t.	such that or so that or subject to.
200	st	standard part function.
201	STP	[it is] sufficient to prove.
202	SU	special unitary group.
203	supp	support of a function.
204	Sym	symmetric group (Sym(n) is also written as Sn) or symmetric algebra.
205	tanh	hyperbolic tangent function.
206	TAU	the constant 6.283185307179586476925286766559
207	TFAE	the following are equivalent.
208	Thm	theorem.
209	Tor	Tor functor.
210	undef	a function or expression is undefined
211	V	volume.
212	var	variance of a random variable.
213	vcs	vercosine function. (Also written as vercos.)
214	vercos	vercosine function. (Also written as vcs.)
215	W^5	which was what we wanted. Synonym of Q.E.D.
216	walog	without any loss of generality.
217	wff	well-formed formula.
218	whp	with high probability.
219	wlog	without loss of generality.
220	WMA	we may assume.
221	WO	well-ordered set
222	wp1	with probability 1.
223	wrt	with respect to or with regard to.
224	WTP	want to prove
225	WTS	want to show
226	XOR	exclusive or in logic
227	ZF	Zermelo–Fraenkel axioms of set theory
228	ZFC	Zermelo–Fraenkel axioms (with the Axiom of Choice) of set theory