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
ι	ind
→	->
(	(
)	)
,	,
λ	\
=	=
⊤	T.
[	[
]	]
α	al
β	be
γ	ga
δ	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.
∧	/\
¬	~
⇒	==>
∀	!
∃	?
∨	\/
∃!	?!
typedef	typedef
1-1	1-1
onto	onto
ε	@