[isabelle] nested \<^bsub> .. \<^esub>



Hello.

   In X-symbol, I need nested 
   \<^bsub>...\<^ bsub>...\<^esub>...\<^esub>  and
   \<^bsub>...\<^bsup>...\<^esup>...\<^esub>    
 etc. 

   Could anyone tell me how to express them in
Proof-General on xemacs? 
   Thank you.

Hidetsune
   

--------------------------------------
GANBARE! NIPPON!
Yahoo! JAPAN JOC OFFICIAL INTERNET PORTAL SITE PARTNER
http://pr.mail.yahoo.co.jp/ganbare-nippon/





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.