This is what $$ turns into sometimes. We need to emit just $, not $ orig_dollar like we do now.
$$
$
$ orig_dollar