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
 /\
 <->
 \/
DECID  DECID
 T.
 F.
 \/_  \/_
 A.
 set
 x
 y
 z
 w
 v
 u
 t t
 F/ F/
 E.
 class
 =
 A
 B
 e.
 [
 /
 ]
 f
 g
 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
 s s
 r r
 q q
 p p
 a a
 b b
 c c
 d d
 l l
 F/_ F/_
 =/=  =/=
 e/  e/
 _V _V
CondEq CondEq
  Copyright terms: Public domain W3C validator