mmascii - New Foundations 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
ψ	ps
χ	ch
θ	th
τ	ta
η	et
ζ	ze
σ	si
ρ	rh
μ	mu
λ	la
κ	ka
↔	<->
∨	\/
∧	/\
⊼	-/\
⊻	\/_
⊤	T.
⊥	F.
hadd	hadd
cadd	cadd
,	,
∀	A.
setvar	setvar
x	x
y	y
z	z
w	w
v	v
u	u
t	t
∃	E.
Ⅎ	F/
class	class
=	=
A	A
B	B
[	[
/	/
]	]
∈	e.
f	f
g	g
∃!	E!
∃*	E*
{	{
∣	|
}	}
∧	./\
∨	.\/
≤	.<_
<	.<
+	.+
−	.-
×	.X.
/	./
↑	.^
0	.0.
1	.1.
∥	.||
∼	.~
⊥	._|_
⨣	.+^
✚	.+b
⊕	.(+)
∗	.*
·	.x.
∙	.xb
,	.,
⊗	.(x)
𝟎	.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
s	s
r	r
q	q
p	p
a	a
b	b
c	c
d	d
l	l
Ⅎ	F/_
≠	=/=
∉	e/
V	_V
[̣	[.
]̣	].
[	[_
]	]_
⩃	-i^i
∼	~
∖	\
∪	u.
∩	i^i
⊕	(+)
⊆	C_
⊊	C.
∅	(/)
if	if
℘	~P
∪	U.
∩	|^|
∪	U_
∩	|^|_
⟪	<<
⟫	>>
1c	1c
℘1	~P1
⋃1	U.1
×k	X._k
◡k	`'_k
“k	"_k
∘k	o._k
Ins2k	Ins2_k
Ins3k	Ins3_k
P6	P6
SIk	SI_k
Sk	_S_k
Imagek	Image_k
Ik	_I_k
℩	iota
Nn	Nn
0c	0c
+c	+c
Fin	Fin
≤fin	<_[fin]
<fin	<[fin]
Ncfin	Nc[fin]
Tfin	_T[fin]
Evenfin	Even[fin]
Oddfin	Odd[fin]
Sfin	_S[fin]
Spfin	Sp[fin]
⟨	<.
⟩	>.
Phi	Phi
Proj1	Proj1
Proj2	Proj2
1st	1st
Swap	Swap
S	_S
∘	o.
“	"
SI	SI
E	_E
I	_I
×	X.
◡	`'
dom	dom
ran	ran
↾	|`
Fun	Fun
Fn	Fn
:	:
–→	-->
–1-1→	-1-1->
–onto→	-onto->
–1-1-onto→	-1-1-onto->
‘	`
Isom	Isom
2nd	2nd
↦	|->
⊗	(x)
Fix	Fix
Image	Image
Cup	Cup
Disj	Disj
AddC	AddC
Ins2	Ins2
Ins3	Ins3
Ins4	Ins4
SI3	SI_3
Funs	Funs
Fns	Fns
PProd	PProd
Cross	Cross
Compose	Compose
Pw1Fn	Pw1Fn
FullFun	FullFun
Dom	Dom
Ran	Ran
Clos1	Clos1
Trans	Trans
Ref	Ref
Antisym	Antisym
Po	Po
Connex	Connex
Or	Or
Fr	Fr
We	We
Ext	Ext
Sym	Sym
Er	Er
/	/.
↑m	^m
↑pm	^pm
≈	~~
NC	NC
≤c	<_c
<c	<c
Nc	Nc
·c	.c
Tc	T_c
2c	2c
3c	3c
↑c	^c
TcFn	TcFn
Spac	Sp[ac]
FRec	FRec
Can	Can
SCan	SCan