QLE Home Quantum Logic 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
( (
) )
=  =
 ==
 v
 ^
1 1
0 0
 '
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
3  u3
3  ^3
a a
b b
c c
d d
e e
f f
g g
h h
j j
k k
l l
i i
m m
n n
p p
q q
r r
t t
u u
w w
x x
y y
z z
a0 a0
a1 a1
a2 a2
b0 b0
b1 b1
b2 b2
c0 c0
c1 c1
c2 c2
p0 p0
p1 p1
p2 p2
  Copyright terms: Public domain W3C validator