Aditya Mahajan wrote:
For all this trouble, here are some bonus arrows :-)
\def\hookleftfill {\mtharrowfill \leftarrow \relbar {\relbar\joinrel\rhook}}
\def\hookrightfill {\mtharrowfill {\lhook\joinrel\relbar} \relbar \rightarrow}
\definematharrow [xhookleftarrow] [3095] [\hookleftfill] \definematharrow [xhookrightarrow] [0395] [\hookrightfill]
added Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------