mmascii - Quantum Logic Explorer

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

Symbol	ASCII
(	(
)	)
=	=
≡	==
∪	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