This is TeX, Version 3.14159 (Web2c 7.1) (format=plain 99.12.11)  4 JAN 2002 15:44
**\relax

*\input mika-macros
(/ufs/mika/mika/lib/tex/macros/mika-macros.tex
\figcount=\count26
\seccount=\count27
\subseccount=\count28
\subsubseccount=\count29
)
*\show\implies
> \implies=undefined.
<*> \show\implies
                 
? 
! Emergency stop.
<*> \show\implies
                 
End of file on the terminal!

No pages of output.