|
|
|
@ -54,3 +54,11 @@ |
|
|
|
|
|
|
|
\def\unparskip{\vskip-\parskip} |
|
|
|
|
|
|
|
\catcode`@=11 |
|
|
|
\def\vecoverrightarrow#1{\vbox{\m@th\ialign{##\crcr |
|
|
|
\vecrightarrowfill\crcr\noalign{\kern-\p@\kern 0.09em\nointerlineskip} |
|
|
|
$\hfil\displaystyle{#1\,}\hfil$\crcr}}} |
|
|
|
\def\vecrightarrowfill{$\settextsize{5}\m@th\smash-\mkern-7mu% |
|
|
|
\cleaders\hbox{$\mkern-2mu\smash-\mkern-2mu$}\hfill |
|
|
|
\settextsize{5}\mkern-7mu\mathord\rightarrow$} |
|
|
|
\catcode`@=12 |
|
|
|
|
