mmascii - Metamath Proof Explorer

Symbol to ASCII Correspondence for Text-Only Browsers (in order of appearance in $c and $v statements in the database)

Symbol	ASCII
(	(
)	)
->	->
-.	-.
wff	wff
|-	|-
&	&
=>	=>
ph	ph
ps	ps
ch	ch
th	th
ta	ta
et	et
ze	ze
si	si
rh	rh
mu	mu
la	la
ka	ka
<->	<->
\/	\/
/\	/\
,	,
if-	if-
-/\	-/\
\/_	\/_
A.	A.
setvar	setvar
x	x
class	class
=	=
A	A
B	B
T.	T.
y	y
F.	F.
hadd	hadd
cadd	cadd
z	z
w	w
v	v
u	u
t	t
E.	E.
F/	F/
F/	nfOLD
[	[
/	/
]	]
s	s
e.	e.
f	f
g	g
E!	E!
E*	E*
{	{
|	|
}	}
./\	./\
.\/	.\/
.<_	.<_
.<	.<
.+	.+
.-	.-
.X.	.X.
./	./
.^	.^
.0.	.0.
.1.	.1.
.||	.||
.~	.~
._|_	._|_
.+^	.+^
.+b	.+b
.(+)	.(+)
.*	.*
.x.	.x.
.xb	.xb
.,	.,
.(x)	.(x)
.o.	.o.
.0b	.0b
C	C
D	D
P	P
Q	Q
R	R
S	S
T	T
U	U
e	e
h	h
i	i
j	j
k	k
m	m
n	n
o	o
E	E
F	F
G	G
H	H
I	I
J	J
K	K
L	L
M	M
N	N
V	V
W	W
X	X
Y	Y
Z	Z
O	O
r	r
q	q
p	p
a	a
b	b
c	c
d	d
l	l
F/_	F/_
=/=	=/=
e/	e/
_V	_V
CondEq	CondEq
[.	[.
].	].
[_	[_
]_	]_
\	\
u.	u.
i^i	i^i
C_	C_
C.	C.
/_\	/_\
(/)	(/)
if	if
~P	~P
<.	<.
>.	>.
U.	U.
|^|	|^|
U_	U_
|^|_	|^|_
Disj	Disj_
|->	|->
Tr	Tr
_I	_I
_E	_E
Po	Po
Or	Or
Fr	Fr
Se	Se
We	We
X.	X.
`'	`'
dom	dom
ran	ran
|`	|`
"	"
o.	o.
Rel	Rel
Pred	Pred
Ord	Ord
On	On
Lim	Lim
suc	suc
iota	iota
:	:
Fun	Fun
Fn	Fn
-->	-->
-1-1->	-1-1->
-onto->	-onto->
-1-1-onto->	-1-1-onto->
`	`
Isom	Isom
iota_	iota_
oF	oF
oR	oR
[ C.]	[C.]
om	_om
1st	1st
2nd	2nd
supp	supp
tpos	tpos
curry	curry
uncurry	uncurry
Undef	Undef
wrecs	wrecs
Smo	Smo
recs	recs
rec	rec
seq𝜔	seqom
1o	1o
2o	2o
3o	3o
4o	4o
+o	+o
.o	.o
^o	^o
Er	Er
/.	/.
^m	^m
^pm	^pm
X_	X_
~~	~~
~<_	~<_
~<	~<
Fin	Fin
finSupp	finSupp
fi	fi
sup	sup
inf	inf
OrdIso	OrdIso
har	har
~<_*	~<_*
CNF	CNF
TC	TC
R1	R1
rank	rank
card	card
aleph	aleph
cf	cf
AC	AC_
CHOICE	CHOICE
+c	+c
FinIa	Fin1a
FinII	Fin2
FinIII	Fin3
FinIV	Fin4
FinV	Fin5
FinVI	Fin6
FinVII	Fin7
GCH	GCH
InaccW	InaccW
Inacc	Inacc
WUni	WUni
wUniCl	wUniCl
Tarski	Tarski
Univ	Univ
tarskiMap	tarskiMap
N.	N.
+N	+N
.N	.N
<N	<N
+pQ	+pQ
.pQ	.pQ
<pQ	<pQ
~Q	~Q
Q.	Q.
1Q	1Q
/Q	/Q
+Q	+Q
.Q	.Q
*Q	*Q
<Q	<Q
P.	P.
1P	1P
+P.	+P.
.P.	.P.
<P	<P
~R	~R
R.	R.
0R	0R
1R	1R
-1R	-1R
+R	+R
.R	.R
<R	<R
<RR	<RR
CC	CC
RR	RR
0	0
1	1
_i	_i
+	+
x.	x.
<_	<_
+oo	+oo
-oo	-oo
RR*	RR*
<	<
-	-
-u	-u
NN	NN
2	2
3	3
4	4
5	5
6	6
7	7
8	8
9	9
10	10
NN0	NN0
NN0*	NN0*
ZZ	ZZ
;	;
ZZ>=	ZZ>=
QQ	QQ
RR+	RR+
-e	-e
+e	+e
xe	*e
(,)	(,)
(,]	(,]
[,)	[,)
[,]	[,]
...	...
..^	..^
|_	|_
⌈	|^
mod	mod
==	==
seq	seq
^	^
!	!
_C	_C
#	#
Word	Word
lastS	lastS
++	++
<"	<"
">	">
substr	substr
splice	splice
reverse	reverse
repeatS	repeatS
cyclShift	cyclShift
t+	t+
t*	t*
^r	^r
t*rec	t*rec
shift	shift
sgn	sgn
Re	Re
Im	Im
*	*
sqr	sqrt
abs	abs
pm	+-
limsup	limsup
~~>	~~>
~~> r	~~>r
O(1)	O(1)
<_O(1)	<_O(1)
sum_	sum_
prod_	prod_
FallFac	FallFac
RiseFac	RiseFac
BernPoly	BernPoly
exp	exp
_e	_e
sin	sin
cos	cos
tan	tan
pi	_pi
||	||
bits	bits
sadd	sadd
smul	smul
gcd	gcd
lcm	lcm
lcm	_lcm
Prime	Prime
numer	numer
denom	denom
odZ	odZ
phi	phi
pCnt	pCnt
ZZ[_i]	Z[i]
AP	AP
MonoAP	MonoAP
PolyAP	PolyAP
Ramsey	Ramsey
#p	#p
Struct	Struct
ndx	ndx
sSet	sSet
Slot	Slot
Base	Base
↾s	|`s
+g	+g
.r	.r
*r	*r
Scalar	Scalar
.s	.s
.i	.i
TopSet	TopSet
le	le
oc	oc
dist	dist
UnifSet	UnifSet
Hom	Hom
comp	comp
↾t	|`t
TopOpen	TopOpen
topGen	topGen
Xt_	Xt_
0g	0g
gsumg	gsum
X_s	Xs_
^s	^s
ordTop	ordTop
RR*s	RR*s
"s	"s
/.s	/s
qTop	qTop
X.s	Xs.
Moore	Moore
mrCls	mrCls
mrInd	mrInd
ACS	ACS
Cat	Cat
Id	Id
Hom f	Homf
compf	comf
oppCat	oppCat
Mono	Mono
Epi	Epi
Sect	Sect
Inv	Inv
Iso	Iso
~=c𝑐	~=c
C_cat	C_cat
|`cat	|`cat
Subcat	Subcat
Func	Func
idfunc	idFunc
o.func	o.func
|`f	|`f
Full	Full
Faith	Faith
Nat	Nat
FuncCat	FuncCat
InitO	InitO
TermO	TermO
ZeroO	ZeroO
domA	domA
coda	codA
Nat	Arrow
Homa	HomA
Ida	IdA
compa	compA
SetCat	SetCat
CatCat	CatCat
ExtStrCat	ExtStrCat
X.c	Xc.
1stF	1stF
2ndF	2ndF
⟨,⟩F	pairF
evalF	evalF
curryF	curryF
uncurryF	uncurryF
Δfunc	DiagFunc
HomF	HomF
Yon	Yon
Preset	Preset
Dirset	Dirset
Poset	Poset
lt	lt
lub	lub
glb	glb
join	join
meet	meet
Toset	Toset
1.	1.
0.	0.
Lat	Lat
CLat	CLat
ODual	ODual
toInc	toInc
DLat	DLat
PosetRel	PosetRel
TosetRel	TosetRel
DirRel	DirRel
tail	tail
+f	+f
Mgm	Mgm
SGrp	SGrp
Mnd	Mnd
MndHom	MndHom
SubMnd	SubMnd
freeMnd	freeMnd
varFMnd	varFMnd
Grp	Grp
invg	invg
-g	-g
.g	.g
~QG	~QG
SubGrp	SubGrp
NrmSGrp	NrmSGrp
GrpHom	GrpHom
GrpIso	GrpIso
~=g𝑔	~=g
GrpAct	GrpAct
Cntr	Cntr
Cntz	Cntz
oppg	oppG
SymGrp	SymGrp
pmTrsp	pmTrsp
pmSgn	pmSgn
pmEven	pmEven
od	od
gEx	gEx
pGrp	pGrp
pSyl	pSyl
LSSum	LSSum
proj1	proj1
~FG	~FG
freeGrp	freeGrp
varFGrp	varFGrp
CMnd	CMnd
Abel	Abel
CycGrp	CycGrp
DProd	DProd
dProj	dProj
mulGrp	mulGrp
1r	1r
SRing	SRing
Ring	Ring
CRing	CRing
oppr	oppR
||r	||r
Unit	Unit
Irred	Irred
invr	invr
/r	/r
RingHom	RingHom
RingIso	RingIso
~=r	~=r
DivRing	DivRing
Field	Field
SubRing	SubRing
RingSpan	RingSpan
AbsVal	AbsVal
*Ring	*Ring
*rf	*rf
LMod	LMod
.sf	.sf
LSubSp	LSubSp
LSpan	LSpan
LMHom	LMHom
LMIso	LMIso
~=ph𝑚	~=m
LBasis	LBasis
LVec	LVec
subringAlg	subringAlg
ringLMod	ringLMod
RSpan	RSpan
LIdeal	LIdeal
2Ideal	2Ideal
LPIdeal	LPIdeal
LPIR	LPIR
NzRing	NzRing
RLReg	RLReg
Domn	Domn
IDomn	IDomn
PID	PID
AssAlg	AssAlg
AlgSpan	AlgSpan
algSc	algSc
mPwSer	mPwSer
mVar	mVar
mPoly	mPoly
<bag	<bag
ordPwSer	ordPwSer
evalSub	evalSub
eval	eval
mHomP	mHomP
mPSDer	mPSDer
selectVars	selectVars
AlgInd	AlgInd
PwSer1	PwSer1
var1	var1
Poly1	Poly1
coe1	coe1
toPoly1	toPoly1
evalSub1	evalSub1
eval1	eval1
PsMet	PsMet
*Met	*Met
Met	Met
ball	ball
fBas	fBas
filGen	filGen
MetOpen	MetOpen
metUnif	metUnif
ℂfld	CCfld
ℤring	ZZring
ZRHom	ZRHom
ZMod	ZMod
chr	chr
ℤ/nℤ	Z/nZ
RRfld	RRfld
PreHil	PreHil
.if	.if
ocv	ocv
CSubSp	CSubSp
toHL	toHL
proj	proj
Hil	Hil
OBasis	OBasis
(+)m	(+)m
freeLMod	freeLMod
unitVec	unitVec
LIndF	LIndF
LIndS	LIndS
maMul	maMul
Mat	Mat
DMat	DMat
ScMat	ScMat
maVecMul	maVecMul
matRRep	matRRep
matRepV	matRepV
subMat	subMat
maDet	maDet
maAdju	maAdju
minMatR1	minMatR1
ConstPolyMat	ConstPolyMat
matToPolyMat	matToPolyMat
cPolyMatToMat	cPolyMatToMat
decompPMat	decompPMat
pMatToMatPoly	pMatToMatPoly
CharPlyMat	CharPlyMat
Top	Top
TopOn	TopOn
TopSp	TopSp
TopBases	TopBases
int	int
cls	cls
Clsd	Clsd
nei	nei
limPt	limPt
Perf	Perf
Cn	Cn
CnP	CnP
~~> t	~~>t
Kol2	Kol2
Fre	Fre
Haus	Haus
Reg	Reg
Nrm	Nrm
CNrm	CNrm
PNrm	PNrm
Comp	Comp
Conn	Conn
1stc	1stc
2ndc	2ndc
Locally	Locally
𝑛Locally	N-Locally
Ref	Ref
PtFin	PtFin
LocFin	LocFin
𝑘Gen	kGen
tX	tX
^ko	^ko
KQ	KQ
Homeo	Homeo
~=	~=
Fil	Fil
UFil	UFil
UFL	UFL
FilMap	FilMap
fLimf	fLimf
fLim	fLim
fClus	fClus
fClusf	fClusf
CnExt	CnExt
TopMnd	TopMnd
TopGrp	TopGrp
tsums	tsums
TopRing	TopRing
TopDRing	TopDRing
TopMod	TopMod
TopVec	TopVec
UnifOn	UnifOn
unifTop	unifTop
UnifSt	UnifSt
UnifSp	UnifSp
toUnifSp	toUnifSp
Cnu	uCn
CauFilu	CauFilU
CUnifSp	CUnifSp
*MetSp	*MetSp
MetSp	MetSp
toMetSp	toMetSp
norm	norm
NrmGrp	NrmGrp
toNrmGrp	toNrmGrp
NrmRing	NrmRing
NrmMod	NrmMod
NrmVec	NrmVec
normOp	normOp
NGHom	NGHom
NMHom	NMHom
II	II
-cn->	-cn->
Htpy	Htpy
PHtpy	PHtpy
~=ph	~=ph
*p	*p
Om1	Om1
OmN	OmN
pi1	pi1
piN	piN
CMod	CMod
CVec	CVec
CPreHil	CPreHil
toCHil	toCHil
CauFil	CauFil
Cau	Cau
CMet	CMet
CMetSp	CMetSp
Ban	Ban
CHil	CHil
ℝ^	RR^
𝔼hil	EEhil
vol*	vol*
vol	vol
MblFn	MblFn
L^1	L^1
S.1	S.1
S.2	S.2
S.	S.
S__	S_
_d	_d
0p	0p
lim CC	limCC
_D	_D
Dn	Dn
C^n	C^n
mDeg	mDeg
deg1	deg1
Monic1p	Monic1p
Unic1p	Unic1p
quot1p	quot1p
rem1p	rem1p
idlGen1p	idlGen1p
Poly	Poly
Xp	Xp
coeff	coeff
deg	deg
quot	quot
AA	AA
Tayl	Tayl
Ana	Ana
~~> u	~~>u
log	log
^c	^c
logb	logb
arcsin	arcsin
arccos	arccos
arctan	arctan
area	area
gamma	gamma
zeta	zeta
_G	_G
log _G	log_G
1/ _G	1/_G
theta	theta
Λ	Lam
ψ	psi
π	ppi
mmu	mmu
sigma	sigma
DChr	DChr
/L	/L
TarskiG	TarskiG
Itv	Itv
LineG	LineG
TarskiGC	TarskiGC
TarskiGB	TarskiGB
TarskiGCB	TarskiGCB
TarskiGE	TarskiGE
DimTarskiG≥	TarskiGDim>=
cgrG	cgrG
Ismt	Ismt
≤G	leG
hlG	hlG
pInvG	pInvG
∟G	raG
⟂G	perpG
hpG	hpG
midG	midG
lInvG	lInvG
cgrA	cgrA
inA	inA
≤∠	leA
eqltrG	eqltrG
toTG	toTG
EE	EE
Btwn	Btwn
Cgr	Cgr
EEG	EEG
.ef	.ef
Vtx	Vtx
iEdg	iEdg
Edg	Edg
UHGraph	UHGraph
USHGraph	USHGraph
UPGraph	UPGraph
UMGraph	UMGraph
USPGraph	USPGraph
USGraph	USGraph
SubGraph	SubGraph
FinUSGraph	FinUSGraph
NeighbVtx	NeighbVtx
UnivVtx	UnivVtx
ComplGraph	ComplGraph
ComplUSGraph	ComplUSGraph
VtxDeg	VtxDeg
RegGraph	RegGraph
RegUSGraph	RegUSGraph
EdgWalks	EdgWalks
Walks	Walks
WalksOn	WalksOn
Trails	Trails
TrailsOn	TrailsOn
Paths	Paths
SPaths	SPaths
PathsOn	PathsOn
SPathsOn	SPathsOn
ClWalks	ClWalks
Circuits	Circuits
Cycles	Cycles
WWalks	WWalks
WWalksN	WWalksN
WWalksNOn	WWalksNOn
WSPathsN	WSPathsN
WSPathsNOn	WSPathsNOn
ClWWalks	ClWWalks
ClWWalksN	ClWWalksN
ConnGraph	ConnGraph
EulerPaths	EulerPaths
FriendGraph	FriendGraph
Plig	Plig
RPrime	RPrime
GrpOp	GrpOp
GId	GId
inv	inv
/g	/g
AbelOp	AbelOp
CVecOLD	CVecOLD
NrmCVec	NrmCVec
+v	+v
BaseSet	BaseSet
.sOLD	.sOLD
0vec	0vec
-v	-v
normCV	normCV
IndMet	IndMet
.iOLD	.iOLD
SubSp	SubSp
LnOp	LnOp
normOpOLD	normOpOLD
BLnOp	BLnOp
0op	0op
adj	adj
HmOp	HmOp
CPreHil OLD	CPreHilOLD
CBan	CBan
CHilOLD	CHilOLD
~H	~H
+h	+h
.h	.h
0h	0h
-h	-h
.ih	.ih
normh	normh
Cauchy	Cauchy
~~>v	~~>v
SH	SH
CH	CH
_|_	_|_
+H	+H
span	span
vH	vH
\/H	\/H
0H	0H
C_H	C_H
proj h	projh
0hop	0hop
Iop	Iop
+op	+op
.op	.op
-op	-op
+fn	+fn
.fn	.fn
normop	normop
ContOp	ContOp
LinOp	LinOp
BndLinOp	BndLinOp
UniOp	UniOp
HrmOp	HrmOp
normfn	normfn
null	null
ContFn	ContFn
LinFn	LinFn
adjh	adjh
bra	bra
ketbra	ketbra
<_op	<_op
eigvec	eigvec
eigval	eigval
Lambda	Lambda
States	States
CHStates	CHStates
HAtoms	HAtoms
<oH	<oH
MH	MH
MH*	MH*
class-n	class-n
class-o	class-o
_	_
period	.
/𝑒	/e
oMnd	oMnd
oGrp	oGrp
sgns	sgns
<<<	<<<
Archi	Archi
SLMod	SLMod
oRing	oRing
oField	oField
↾v	|`v
subMat1	subMat1
litMat	litMat
CovHasRef	CovHasRef
Ldlf	Ldlf
Paracomp	Paracomp
~Met	~Met
pstoMet	pstoMet
HCmp	HCmp
QQHom	QQHom
RRHom	RRHom
ℝExt	RRExt
RR*Hom	RR*Hom
ManTop	ManTop
𝟭	_Ind
Σ*	sum*
∘𝑓/𝑐	oFC
sigAlgebra	sigAlgebra
sigaGen	sigaGen
𝔅ℝ	BrSiga
×s	sX
measures	measures
δ	Ddelta
a.e.	ae
~ a.e.	~ae
MblFnM	MblFnM
toOMeas	toOMeas
toCaraSiga	toCaraSiga
sitg	sitg
sitm	sitm
itgm	itgm
seqstr	seqstr
Fibci	Fibci
Prob	Prob
cprob	cprob
rRndVar	rRndVar
∘RV/𝑐	oRVC
repr	repr
vts	vts
TarskiG2D	TarskiG2D
AFS	AFS
ph'	ph'
ps'	ps'
ch'	ch'
th'	th'
ta'	ta'
et'	et'
ze'	ze'
si'	si'
rh'	rh'
ph"	ph"
ps"	ps"
ch"	ch"
th"	th"
ta"	ta"
et"	et"
ze"	ze"
si"	si"
rh"	rh"
ph0	ph0
ps0	ps0
ch0_	ch0_
th0	th0
ta0	ta0
et0	et0
ze0	ze0
si0	si0
rh0	rh0
ph1	ph1
ps1	ps1
ch1	ch1
th1	th1
ta1	ta1
et1	et1
ze1	ze1
si1	si1
rh1	rh1
a'	a'
b'	b'
c'	c'
d'	d'
e'	e'
f'	f'
g'	g'
h'	h'
i'	i'
j'	j'
k'	k'
l'	l'
m'	m'
n'	n'
o'_	o'_
p'	p'
q'	q'
r'	r'
s'	s'_
t'	t'
u'	u'
v'	v'_
w'	w'
x'	x'
y'	y'
z'	z'
a"	a"
b"	b"
c"	c"
d"	d"
e"	e"
f"	f"
g"	g"
h"	h"
i"	i"
j"	j"
k"	k"
l"	l"
m"	m"
n"	n"
o"	o"_
p"	p"
q"	q"
r"	r"
s"	s"_
t"	t"
u"	u"
v"	v"_
w"	w"
x"	x"
y"	y"
z"	z"
a0	a0_
b0	b0_
c0	c0_
d0	d0
e0	e0
f0_	f0_
g0	g0
h0	h0
i0	i0
j0	j0
k0	k0
l0	l0
m0	m0
n0_	n0_
o0_	o0_
p0	p0
q0	q0
r0	r0
s0	s0
t0	t0
u0	u0
v0	v0
w0	w0
x0	x0
y0	y0
z0	z0
a1	a1_
b1	b1_
c1_	c1_
d1	d1
e1	e1
f1	f1
g1	g1
h1	h1
i1	i1
j1	j1
k1	k1
l1	l1
m1	m1
n1	n1
o1_	o1_
p1	p1
q1	q1
r1	r1
s1	s1
t1	t1
u1	u1
v1	v1
w1	w1
x1	x1
y1	y1
z1	z1
A'	A'
B'	B'
C'	C'
D'	D'
E'	E'
F'	F'
G'	G'
H'	H'
I'	I'
J'	J'
K'	K'
L'	L'
M'	M'
N'	N'
O'	O'
P'	P'
Q'	Q'
R'	R'
S'	S'
T'	T'
U'	U'
V'	V'
W'	W'
X'	X'
Y'	Y'
Z'	Z'
A"	A"
B"	B"
C"	C"
D"	D"
E"	E"
F"	F"
G"	G"
H"	H"
I"	I"
J"	J"
K"	K"
L"	L"
M"	M"
N"	N"
O"	O"
P"	P"
Q"	Q"
R"	R"
S"	S"
T"	T"
U"	U"
V"	V"
W"	W"
X"	X"
Y"	Y"
Z"	Z"
A0	A0
B0	B0
C0	C0
D0	D0
E0	E0
F0	F0
G0	G0
H0	H0
I0	I0
J0	J0
K0	K0
L0	L0
M0	M0
N0	N0
O0	O0
P0	P0
Q0	Q0
R0	R0
S0	S0
T0	T0
U0	U0
V0	V0
W0	W0
X0	X0
Y0	Y0
Z0	Z0
A1	A1_
B1	B1_
C1	C1_
D1	D1_
E1	E1
F1	F1_
G1	G1_
H1	H1_
I1	I1_
J1	J1
K1	K1
L1	L1_
M1	M1_
N1	N1
O1_	O1_
P1	P1
Q1	Q1
R1_	R1_
S1	S1_
T1	T1
U1	U1
V1	V1_
W1	W1
X1	X1
Y1	Y1
Z1	Z1
pred	_pred
Se	_Se
FrSe	_FrSe
trCl	_trCl
TrFo	_TrFo
Retr	Retr
PConn	PConn
SConn	SConn
CovMap	CovMap
e.g	e.g
|g	|g
A.g	A.g
=g	=g
/\g	/\g
-.g	-.g
->g	->g
<->g	<->g
\/g	\/g
E.g	E.g
Fmla	Fmla
Sat	Sat
SatE	SatE
|=	|=
AxExt	AxExt
AxRep	AxRep
AxPow	AxPow
AxUn	AxUn
AxReg	AxReg
AxInf	AxInf
ZF	ZF
mCN	mCN
mVR	mVR
mType	mType
mTC	mTC
mAx	mAx
mVT	mVT
mREx	mREx
mEx	mEx
mDV	mDV
mVars	mVars
mRSubst	mRSubst
mSubst	mSubst
mVH	mVH
mPreSt	mPreSt
mStRed	mStRed
mStat	mStat
mFS	mFS
mCls	mCls
mPPSt	mPPSt
mThm	mThm
m0St	m0St
mSA	mSA
mWGFS	mWGFS
mSyn	mSyn
mESyn	mESyn
mGFS	mGFS
mTree	mTree
mST	mST
mSAX	mSAX
mUFS	mUFS
mUV	mUV
mVL	mVL
mVSubst	mVSubst
mFresh	mFresh
mFRel	mFRel
mEval	mEval
mMdl	mMdl
mUSyn	mUSyn
mGMdl	mGMdl
mItp	mItp
mFromItp	mFromItp
IntgRing	IntgRing
cplMetSp	cplMetSp
HomLimB	HomLimB
HomLim	HomLim
polyFld	polyFld
splitFld1	splitFld1
splitFld	splitFld
polySplitLim	polySplitLim
ZRing	ZRing
GF	GF
GF∞	GF_oo
~Qp	~Qp
/Qp	/Qp
Qp	Qp
QpOLD	QpOLD
Zp	Zp
_Qp	_Qp
Cp	Cp
TrPred	TrPred
wsuc	wsuc
wsucOLD	wsucOLD
WLim	WLim
WLimOLD	WLimOLD
No	No
<s	<s
bday	bday
≤s	<_s
< <s	<<s
|s	|s
M	_M
O	_Old
N	_N
L	_L
R	_R
(x)	(x)
Bigcup	Bigcup
SSet	SSet
Trans	Trans
Limits	Limits
Fix	Fix
Funs	Funs
Singleton	Singleton
Singletons	Singletons
Image	Image
Cart	Cart
Img	Img
Domain	Domain
Range	Range
pprod	pprod
Apply	Apply
Cup	Cup
Cap	Cap
Succ	Succ
Funpart	Funpart
FullFun	FullFun
Restrict	Restrict
UB	UB
LB	LB
<<	<<
>>	>>
XX.	XX.
OuterFiveSeg	OuterFiveSeg
TransportTo	TransportTo
InnerFiveSeg	InnerFiveSeg
Cgr3	Cgr3
Colinear	Colinear
FiveSeg	FiveSeg
Seg<_	Seg<_
OutsideOf	OutsideOf
Line	Line
LinesEE	LinesEE
Ray	Ray
_/_\	_/_\
_/_\^nn	_/_\^n
Hf	Hf
Fne	Fne
gcdOLD	gcdOLD
Prv	Prv
[	[b
/	/b
]b	]b
sngl	sngl
tag	tag
Proj	Proj
(|	(|
,	,,
|)	|)
pr1	pr1
pr2	pr2
elwise	elwise
Moore_	Moore_
-Set->	-Set->
-Top->	-Top->
-Magma->	-Magma->
curry_	curry_
uncurry_	uncurry_
RR>=0	RR>=0
RR>0	RR>0
Diag	Diag
inftyexpi	inftyexpi
CCinfty	CCinfty
CCbar	CCbar
pinfty	pinfty
minfty	minfty
RRbar	RRbar
infty	infty
CChat	CChat
RRhat	RRhat
+cc	+cc
-cc	-cc
prcpal	prcpal
Arg	Arg
.cc	.cc
invc	invc
FinSum	FinSum
RR-Vec	RRVec
tau	_tau
^^ ^^	^^
e.	wl-el
e.	wl-el2
TotBnd	TotBnd
Bnd	Bnd
Ismty	Ismty
Rn	Rn
Ass	Ass
ExId	ExId
Magma	Magma
SemiGrp	SemiGrp
MndOp	MndOp
GrpOpHom	GrpOpHom
RingOps	RingOps
DivRingOps	DivRingOps
RngHom	RngHom
RngIso	RngIso
~=R	~=R
Com2	Com2
Fld	Fld
CRingOps	CRingOps
Idl	Idl
PrIdl	PrIdl
MaxIdl	MaxIdl
PrRing	PrRing
Dmn	Dmn
IdlGen	IdlGen
|X.	|X.
Prt	Prt
LSAtoms	LSAtoms
LSHyp	LSHyp
<oLL	<oL
LFnl	LFnl
LKer	LKer
LDual	LDual
OP	OP
cm	cm
OL	OL
OML	OML
<o	<o
Atoms	Atoms
AtLat	AtLat
CvLat	CvLat
HL	HL
LLines	LLines
LPlanes	LPlanes
LVols	LVols
Lines	Lines
Points	Points
PSubSp	PSubSp
pmap	pmap
+P	+P
PCl	PCl
_|_P	_|_P
PSubCl	PSubCl
LHyp	LHyp
LAut	LAut
WAtoms	WAtoms
PAut	PAut
LDil	LDil
LTrn	LTrn
Dil	Dil
Trn	Trn
trL	trL
TGrp	TGrp
TEndo	TEndo
EDRing	EDRing
EDRingR	EDRingR
DVecA	DVecA
DIsoA	DIsoA
DVecH	DVecH
ocA	ocA
vA	vA
DIsoB	DIsoB
DIsoC	DIsoC
DIsoH	DIsoH
ocH	ocH
joinH	joinH
LPol	LPol
LCDual	LCDual
mapd	mapd
HVMap	HVMap
HDMap1	HDMap1
HDMap	HDMap
HGMap	HGMap
HLHil	HLHil
NoeACS	NoeACS
mzPolyCld	mzPolyCld
mzPoly	mzPoly
Dioph	Dioph
Pell1QR	Pell1QR
Pell14QR	Pell14QR
Pell1234QR	Pell1234QR
PellFund	PellFund
◻NN	[]NN
Xrm	rmX
Yrm	rmY
LFinGen	LFinGen
LNoeM	LNoeM
LNoeR	LNoeR
ldgIdlSeq	ldgIdlSeq
Monic	Monic
Poly<	Poly<
degAA	degAA
minPolyAA	minPolyAA
ℤ	_ZZ
IntgOver	IntgOver
MEndo	MEndo
SubDRing	SubDRing
CytP	CytP
TopSep	TopSep
TopLnd	TopLnd
r*	r*
hereditary	hereditary
C𝑐	_Cc
+r	+r
-r	-r
.v	.v
PtDf	PtDf
RR3	RR3
line3	line3
(.	(.
).	).
->.	->.
->..	->..
,.	,.
liminf	liminf
~~>*	~~>*
SAlg	SAlg
SalOn	SalOn
SalGen	SalGen
Σ^	sum^
Meas	Meas
OutMeas	OutMeas
CaraGen	CaraGen
voln*	voln*
voln	voln
SMblFn	SMblFn
jph	jph
jps	jps
jch	jch
jth	jth
jta	jta
jet	jet
jze	jze
jps	jsi
jrh	jrh
jmu	jmu
jla	jla
defAt	defAt
'''	'''
((	((
))	))
_ e//	e//
RePart	RePart
prefix	prefix
FermatNo	FermatNo
Even	Even
Odd	Odd
GoldbachEven	GoldbachEven
GoldbachOddW	GoldbachOddW
GoldbachOdd	GoldbachOdd
UPWalks	UPWalks
Pairs	Pairs
MgmHom	MgmHom
SubMgm	SubMgm
clLaw	clLaw
assLaw	assLaw
comLaw	comLaw
intOp	intOp
clIntOp	clIntOp
assIntOp	assIntOp
MgmALT	MgmALT
CMgmALT	CMgmALT
SGrpALT	SGrpALT
CSGrpALT	CSGrpALT
Rng	Rng
RngHomo	RngHomo
RngIsom	RngIsom
RngCat	RngCat
RngCatALTV	RngCatALTV
RingCat	RingCat
RingCatALTV	RingCatALTV
DMatALT	DMatALT
ScMatALT	ScMatALT
linC	linC
LinCo	LinCo
linIndS	linIndS
linDepS	linDepS
/_f	/_f
_O	_O
#b	#b
digit	digit
setrecs	setrecs
Pg	Pg
>_	>_
>	>
sinh	sinh
cosh	cosh
tanh	tanh
sec	sec
csc	csc
cot	cot
log_	log_
Reflexive	Reflexive
Irreflexive	Irreflexive
A.!	A!