Metamath Proof Explorer - mmascii

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

Symbol	ASCII
(	(
)	)
->	->
-.	-.
wff	wff
|-	|-
ph	ph
ps	ps
ch	ch
th	th
ta	ta
<->	<->
\/	\/
/\	/\
et	et
ze	ze
A.	A.
set	set
x	x
y	y
z	z
w	w
v	v
E.	E.
=	=
e.	e.
[	[
/	/
]	]
u	u
f	f
g	g
E!	E!
E*	E*
t	t
{	{
|	|
}	}
class	class
A	A
B	B
C	C
D	D
R	R
S	S
T	T
F	F
G	G
=/=	=/=
e/	e/
V	V
\	\
u.	u.
i^i	i^i
(_	(_
(.	(.
(/)	(/)
if	if
,	,
si	si
rh	rh
P~	P~
<.	<.
>.	>.
U.	U.
|^|	|^|
Tr	Tr
E	E
I	I
Po	Po
Or	Or
sup	sup
Fr	Fr
We	We
Ord	Ord
On	On
Lim	Lim
suc	suc
om	om
X.	X.
`'	`'
dom	dom
ran	ran
|`	|`
"	"
o.	o.
Rel	Rel
Fun	Fun
Fn	Fn
:	:
-->	-->
-1-1->	-1-1->
-onto->	-onto->
-1-1-onto->	-1-1-onto->
`	`
Isom	Isom
h	h
H	H
rec	rec
1st	1st
2nd	2nd
1o	1o
2o	2o
+o	+o
.o	.o
^o	^o
Er	Er
/.	/.
Q	Q
s	s
r	r
a	a
b	b
c	c
d	d
J	J
K	K
L	L
M	M
N	N
W	W
X	X
Y	Y
Z	Z
^m	^m
~~	~~
~<_	~<_
~<	~<
R1	R1
rank	rank
q	q
j	j
k	k
m	m
n	n
card	card
aleph	aleph
cf	cf
Card	Card
+c	+c
N.	N.
+N	+N
.N	.N
<N	<N
+pQ	+pQ
.pQ	.pQ
~Q	~Q
Q.	Q.
1Q	1Q
+Q	+Q
.Q	.Q
*Q	*Q
<Q	<Q
P.	P.
1P	1P
+P.	+P.
.P	.P
<P	<P
+pR	+pR
.pR	.pR
~R	~R
R.	R.
0R	0R
1R	1R
-1R	-1R
+R	+R
.R	.R
<R	<R
CC	CC
RR	RR
0	0
1	1
i	i
+	+
x.	x.
<	<
-	-
-u	-u
<_	<_
NN	NN
NN0	NN0
ZZ	ZZ
QQ	QQ
2	2
3	3
4	4
5	5
6	6
7	7
8	8
9	9
floor	floor
seq	seq
^	^
sqr	sqr
Re	Re
Im	Im
*	*
abs	abs
!	!
~~>	~~>
H~	H~
+v	+v
.s	.s
0v	0v
-v	-v
.i	.i
norm	norm
Cauchy	Cauchy
~~>v	~~>v
SH	SH
CH	CH
_|_	_|_
+H	+H
span	span
vH	vH
\/H	\/H
0H	0H
Com	Com
Proj	Proj
+P	+P
-P	-P
States	States
Atoms	Atoms
MH	MH
<o	<o
p	p

metamath.org