mmascii - Intuitionistic Logic Explorer

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

Symbol	ASCII
(	(
)	)
->	->
-.	-.
wff	wff
|-	|-
&	&
=>	=>
ph	ph
ps	ps
ch	ch
th	th
ta	ta
et	et
ze	ze
si	si
rh	rh
mu	mu
la	la
ka	ka
/\	/\
<->	<->
\/	\/
STAB	STAB
DECID	DECID
A.	A.
setvar	setvar
x	x
class	class
=	=
A	A
B	B
T.	T.
y	y
F.	F.
\/_	\/_
z	z
w	w
v	v
u	u
t	t
F/	F/
E.	E.
e.	e.
[	[
/	/
]	]
f	f
g	g
s	s
E!	E!
E*	E*
{	{
|	|
}	}
./\	./\
.\/	.\/
.<_	.<_
.<	.<
.+	.+
.-	.-
.X.	.X.
./	./
.^	.^
.0.	.0.
.1.	.1.
.||	.||
.~	.~
._|_	._|_
.+^	.+^
.+b	.+b
.(+)	.(+)
.*	.*
.x.	.x.
.xb	.xb
.,	.,
.(x)	.(x)
.0b	.0b
C	C
D	D
P	P
Q	Q
R	R
S	S
T	T
U	U
e	e
h	h
i	i
j	j
k	k
m	m
n	n
o	o
E	E
F	F
G	G
H	H
I	I
J	J
K	K
L	L
M	M
N	N
V	V
W	W
X	X
Y	Y
Z	Z
O	O
r	r
q	q
p	p
a	a
b	b
c	c
d	d
l	l
F/_	F/_
=/=	=/=
e/	e/
_V	_V
CondEq	CondEq
[.	[.
].	].
[_	[_
]_	]_
\	\
u.	u.
i^i	i^i
C_	C_
C.	C.
(/)	(/)
,	,
if	if
~P	~P
<.	<.
>.	>.
U.	U.
|^|	|^|
U_	U_
|^|_	|^|_
Disj	Disj_
|->	|->
Tr	Tr
_E	_E
_I	_I
Po	Po
Or	Or
FrFor	FrFor
Fr	Fr
Se	Se
We	We
Ord	Ord
On	On
Lim	Lim
suc	suc
om	_om
X.	X.
`'	`'
dom	dom
ran	ran
|`	|`
"	"
o.	o.
Rel	Rel
iota	iota
:	:
Fun	Fun
Fn	Fn
-->	-->
-1-1->	-1-1->
-onto->	-onto->
-1-1-onto->	-1-1-onto->
`	`
Isom	Isom
iota_	iota_
oF	oF
oR	oR
1st	1st
2nd	2nd
tpos	tpos
Smo	Smo
recs	recs
rec	rec
frec	frec
1o	1o
2o	2o
3o	3o
4o	4o
+o	+o
.o	.o
↑𝑜	^oi
Er	Er
/.	/.
~~	~~
~<_	~<_
Fin	Fin
card	card
N.	N.
+N	+N
.N	.N
<N	<N
+pQ	+pQ
.pQ	.pQ
<pQ	<pQ
~Q	~Q
Q.	Q.
1Q	1Q
+Q	+Q
.Q	.Q
*Q	*Q
<Q	<Q
~Q0	~Q0
Q0	Q0.
0Q0	0Q0
+Q0	+Q0
·Q0	.Q0
P.	P.
1P	1P
+P.	+P.
.P.	.P.
<P	<P
~R	~R
R.	R.
0R	0R
1R	1R
-1R	-1R
+R	+R
.R	.R
<R	<R
<RR	<RR
CC	CC
RR	RR
0	0
1	1
_i	_i
+	+
x.	x.
<_	<_
+oo	+oo
-oo	-oo
RR*	RR*
<	<
-	-
-u	-u
#ℝ	#RR
#	#
NN	NN
2	2
3	3
4	4
5	5
6	6
7	7
8	8
9	9
10	10
NN0	NN0
ZZ	ZZ
;	;
ZZ>=	ZZ>=
QQ	QQ
RR+	RR+
-e	-e
+e	+e
xe	*e
(,)	(,)
(,]	(,]
[,)	[,)
[,]	[,]
...	...
..^	..^
|_	|_
⌈	|^
mod	mod
==	==
seq	seq
^	^
shift	shift
Re	Re
Im	Im
*	*
sqr	sqrt
abs	abs
pm	+-
~~>	~~>
sum_	sum_
Δ0	Delta0
BOUNDED	Bdd
BOUNDED	Bdd_
Ind	Ind
A.!	A!