Home	Metamath Proof Explorer	This is the GIF version. Change to Unicode version

---

Symbol to ASCII Correspondence for Text-Only Browsers (in order of first appearance)

Symbol	ASCII
	(
	)
	->
	-.
	wff
	|-
	ph
	ps
	ch
	th
	ta
	<->
	\/
	/\
	et
	ze
	si
	A.
	set
	x
	y
	z
	w
	v
	u
	=
	class
	A
	B
	e.
	E.
	[
	/
	]
	f
	g
	E!
	E*
	t
	{
	|
	}
	C
	D
	P
	Q
	R
	S
	T
	U
	F
	G
	=/=
	e/
	V
	[_
	]_
	\
	u.
	i^i
	(_
	(.
	(/)
	if
	,
	rh
	P~
	<.
	>.
	U.
	|^|
	U_
	|^|_
	Tr
	E
	I
	Po
	Or
	Fr
	We
	Ord
	On
	Lim
	suc
	om
	X.
	`'
	dom
	ran
	|`
	"
	o.
	Rel
	Fun
	Fn
	:
	-->
	-1-1->
	-onto->
	-1-1-onto->
	`
	Isom
	h
	j
	k
	m
	n
	o
	H
	J
	K
	L
	M
	N
	W
	X
	Y
	Z
	O
	s
	r
	q
	p
	a
	b
	c
	d
	rec
	|->
	1st
	2nd
	1o
	2o
	+o
	.o
	^o
	Er
	/.
	^m
	^pm
	X_
	~~
	~<_
	~<
	sup
	R1
	rank
	card
	aleph
	cf
	+c
	N.
	+N
	.N
	<N
	+pQ
	.pQ
	~Q
	Q.
	1Q
	+Q
	.Q
	*Q
	<Q
	P.
	1P
	+P.
	.P.
	<P
	+pR
	.pR
	~R
	R.
	0R
	1R
	-1R
	+R
	.R
	<R
	<RR
	CC
	RR
	0
	1
	i
	+
	x.
	-
	-u
	<_
	NN
	NN0
	ZZ
	QQ
	RR+
	+oo
	-oo
	RR*
	<
	2
	3
	4
	5
	6
	7
	8
	9
	10
	|_
	seq1
	shift
(,)	(,)
(,]	(,]
[,)	[,)
[,]	[,]
	ZZ>
	...
	limsup
	seq
	seq0
	^
	sqr
	Re
	Im
	*
	abs
	!
	C.
	~~>
	sum_
	-cn->
	exp
	e
	sin
	cos
	pi
Top	Top
TopSp	TopSp
Bases	Bases
topGen	topGen
int	int
cls	cls
Clsd	Clsd
nei	nei
limPt	limPt
Cn	Cn
CnP	CnP
Haus	Haus
Met	Met
MetSp	MetSp
ball	ball
Open	Open
	~~>m
Cau	Cau
CMet	CMet
Grp	Grp
Id	Id
inv	inv
	/g
Abel	Abel
SubGrp	SubGrp
Ring	Ring
CVec	CVec
NrmCVec	NrmCVec
	+v
Base	Base
	.s
	0v
	-v
	norm
IndMet	IndMet
	.i
SubSp	SubSp
LnOp	LnOp
normOp	normOp
BLnOp	BLnOp
	0op
adj	adj
HmOp	HmOp
CPreHil	CPreHil
CBan	CBan
CHil	CHil
Poset	Poset
supw	supw
infw	infw
join	join
meet	meet
Lat	Lat
	log
logOLD	logOLD
	H~
	+h
	.h
	0h
	-h
	.ih
	normh
	Cauchy
	~~>v
	SH
	CH
	_|_
	+H
	span
	vH
	\/H
	0H
	C_H
proj	proj
0hop	0hop
	Iop
	+op
	.op
	-op
	+fn
	.fn
normop	normop
ConOp	ConOp
LinOp	LinOp
BndLinOp	BndLinOp
UniOp	UniOp
HrmOp	HrmOp
normfn	normfn
null	null
ConFn	ConFn
LinFn	LinFn
adjh	adjh
bra	bra
ketbra	ketbra
	<_op
eigvec	eigvec
eigval	eigval
	Lambda
	States
CHStates	CHStates
	Atoms
	<o
	MH
	MH*
GrpHom	GrpHom
GrpIso	GrpIso
SymGrp	SymGrp
gcd	gcd
l	l
fi	fi
EucTop	EucTop
Homeo	Homeo
~=	~=
subSp	subSp
Fil	Fil
fLim	fLim
T0	T0
T1	T1
Con	Con
Dgra	Dgra
Alg	Alg
dom	dom_
cod	cod_
id	id_
o	o_
Ded	Ded
Cat	Cat
hom	hom
Epi	Epi
Monic	Monic
Iso	Iso
Func	Func
O1	O1
M1	M1
O2	O2
M2	M2
I1	I1
D1	D1
C1	C1
Ro1	Ro1
I2	I2
D2	D2
C2	C2
Ro2	Ro2
Subcl	Subcl
Tarski	Tarski
HypGrph	HypGrph
PsGrph	PsGrph
SmpGrph	SmpGrph

Copyright terms: Public domain