Quantum Logic 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)

Symbol	ASCII
	(
	)
	=
	==
	v
	^
	1
	0
	'
	wff
	term
	C
	=<
	=<2
	->0
	->1
	->2
	->3
	->4
	->5
	==0
	==1
	==2
	==3
	==4
	==5
	==OA
	,
	<->3
	<->1
	u3
	^3
	a
	b
	c
	d
	e
	f
	g
	h
	j
	k
	l
	i
	m
	n
	p
	q
	r
	t
	u
	w
	x
	y
	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