NFE Home New Foundations Explorer This is the Unicode version.
Change to GIF version

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

SymbolASCII
( (
) )
 ->
¬  -.
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
  Copyright terms: Public domain W3C validator