should it be `$$` here? I can never remember whether I should use `$`, `$$`, or `\$`...