PowerShell/Data/Abbr/mathematics.csv

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