Higher-Order Logic Explorer |
This is the Unicode version. Change to GIF version |
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 |
ε | @ |
Copyright terms: Public domain | W3C validator |