mmascii - Higher-Order Logic Explorer

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

Symbol	ASCII
var	var
type	type
term	term
|-	|-
:	:
	.
|=	|=
*	bool
iota	ind
->	->
(	(
)	)
,	,
\	\
=	=
T.	T.
[	[
]	]
al	al
be	be
ga	ga
de	de
x	x
y	y
z	z
f	f
g	g
p	p
q	q
A	A
B	B
C	C
F	F
R	R
S	S
T	T
wff	wff
F.	F.
/\	/\
~	~
==>	==>
A.	!
E.	?
\/	\/
E!	?!
typedef	typedef
1-1	1-1
onto	onto
@	@