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
 /\
 <->
 \/
DECID  DECID
 T.
 F.
 \/_
 A.
set  set
x x
y y
z z
w w
v v
u u
𝑡 t
 F/
 E.
class  class
=  =
A A
B B
 e.
[ [
/  /
] ]
f f
g g
∃! E!
∃* E*
{ {
 |
} }
 ./\
 .\/
 .<_
<  .<
+  .+
 .-
×  .X.
/  ./
 .^
0  .0.
1  .1.
 .||
 .~
 ._|_
 .+^
 .+b
 .(+)
 .*
·  .x.
 .xb
,  .,
 .(x)
𝟎  .0b
𝐶 C
𝐷 D
𝑃 P
𝑄 Q
𝑅 R
𝑆 S
𝑇 T
𝑈 U
𝑒 e
 h
𝑖 i
𝑗 j
𝑘 k
𝑚 m
𝑛 n
𝑜 o
𝐸 E
𝐹 F
𝐺 G
𝐻 H
𝐼 I
𝐽 J
𝐾 K
𝐿 L
𝑀 M
𝑁 N
𝑉 V
𝑊 W
𝑋 X
𝑌 Y
𝑍 Z
𝑂 O
𝑠 s
𝑟 r
𝑞 q
𝑝 p
𝑎 a
𝑏 b
𝑐 c
𝑑 d
𝑙 l
 F/_
 =/=
 e/
V _V
CondEq CondEq
  Copyright terms: Public domain W3C validator