On Fri, 28 Jul 2006, Aditya Mahajan wrote:
Isn't \type<<..>> be supposed to be equivalent to \type{..} ?
\title{some \type{thing} }
works perfectly but
Actually this does not work as expected. The font does not change to
monotype. Is that delebrate?
Aditya
