be "A has kind K"?
Hey, neat. It's relatively easy to hack the
Twelf source to add extra special symbols to
translate for Twelf.Print.TeX.sgn();
Maybe I should hack in some sort of
%tex directive to allow such things without
bashing at the source every time.
Something like
%tex \input mymacros.tex
for raw TeX stuff and and
%texsym <= $\Leftarrow$
for translating tokens into nice TeX.