ILE Home Intuitionistic 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)

SymbolASCII
 (
 )
 ->
 -.
 wff
 |-
 ph
 ps
 ch
 th
 ta
 et
 ze
 si
 rh
 mu
 la
 ka
 /\
 <->
 \/
 -/\
 T.
 F.
 A.
 set
 x
 y
 z
 w
 v
 u
 E.
 class
 =
 A
 B
 e.
 [
 /
 ]
 f
 g
 E!
 E*
  Copyright terms: Public domain W3C validator