[Lattice L46-7]Home PageHome Quantum Logic Explorer This is the GIF version.
Change to Unicode version
 

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

SymbolASCII
((
))
= =
== ==
v v
^ ^
11
00
''
wff wff
term term
C C
=< =<
=<2 =<2
->0 ->0
->1 ->1
->2 ->2
->3 ->3
->4 ->4
->5 ->5
==0 ==0
==1 ==1
==2 ==2
==3 ==3
==4 ==4
==5 ==5
==OA ==OA
, ,
<->3 <->3
<->1 <->1
u3 u3
^3 ^3
aa
bb
cc
dd
ee
ff
gg
hh
jj
kk
ll
ii
mm
nn
pp
qq
rr
tt
uu
ww
xx
yy
zz
Copyright terms: Public domain