\input amstex

$\overline{\pmb{\mathrm R}}=\pmb{\mathrm R}\cup\{\infty\}$
\bye