\input amstex

$\hbox{\rm\pmb{R}}_0^-=\{x\in\hbox{\rm\pmb{R}}\mid x\leq0\}$.
\bye