Lines Matching full:raise
2307 $^{{\ooalign{\hfil\raise.07ex\hbox{\selectfonts\lllsize R}%5046 \def\result{\leavevmode\raise.15ex\hbox to 1em{\hfil$\Rightarrow$\hfil}}5047 \def\expansion{\leavevmode\raise.1ex\hbox to 1em{\hfil$\mapsto$\hfil}}
