NFE Home New Foundations Explorer This is the GIF version.
Change to Unicode version
Symbol to ASCII Correspondence for Text-Only Browsers (in order of appearance in $c and $v statements in the database)

SymbolASCII
 (
 )
 ->
 -.
 wff
 |-
&  &
=>  =>
 ph
 ps
 ch
 th
 ta
 et
 ze
 si
 rh
 mu
 la
 ka
 <->
 \/
 /\
 -/\
\/_  \/_
 T.
 F.
hadd hadd
cadd cadd
 ,
 A.
 setvar
 x
 y
 z
 w
 v
 u
 t
 E.
F/ F/
 class
 =
 A
 B
 [
 /
 ]
 e.
 f
 g
 E!
 E*
 {
 |
 }
./\  ./\
.\/  .\/
.<_  .<_
.<  .<
.+  .+
.-  .-
.X.  .X.
./  ./
.^  .^
.0.  .0.
.1.  .1.
.||  .||
.~  .~
._|_  ._|_
.+^  .+^
.+b  .+b
.(+)  .(+)
.*  .*
.x.  .x.
.xb  .xb
.,  .,
.(x)  .(x)
.0b  .0b
 C
 D
 P
 Q
 R
 S
 T
 U
 e
 h
 i
 j
 k
 m
 n
 o
 E
 F
 G
 H
 I
 J
 K
 L
 M
 N
 V
 W
 X
 Y
 Z
 O
 s
 r
 q
 p
 a
 b
 c
 d
 l
F/_ F/_
 =/=
 e/
 _V
[. [.
]. ].
 [_
 ]_
&ncap  -i^i
∼  ~
 \
 u.
 i^i
 (+)
 C_
 C.
 (/)
 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
k  _I_k
 iota
Nn  Nn
0c 0c
 +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
Swap  Swap
S  _S
 o.
 "
SI  SI
 _E
 _I
 X.
 `'
 dom
 ran
 |`
 Fun
 Fn
 :
 -->
 -1-1->
 -onto->
 -1-1-onto->
 `
 Isom
 2nd
 |->
 (x)
 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
 ^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