ILE Home Intuitionistic Logic Explorer This is the Unicode version.
Change to GIF version

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

SymbolASCII
( (
) )
 ->
¬  -.
wff  wff
 |-
φ ph
ψ ps
χ ch
θ th
τ ta
η et
ζ ze
σ si
ρ rh
μ mu
λ la
κ ka
 /\
 <->
 \/
 T.
 F.
 A.
set  set
x x
y y
z z
w w
v v
u u
 E.
class  class
=  =
A A
B B
 e.
[ [
/  /
] ]
f f
g g
∃! E!
∃* E*
  Copyright terms: Public domain W3C validator