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