documentclass{article}

usepackage{mathtools}
DeclareMathOperator{Hom}{Hom}
usepackage{lipsum}

begin{document}

lipsum[1]
[
  varphi
  xmapsto{makebox[.35linewidth]{raisebox{.5baselineskip}{$
    Hom_R(M otimes_R N, P) cong
    { text{Bilinear maps $M times N$ to $P$} }
  $}}}
  varphi b.
]
lipsum[2]

end{document}