Just use double-dollar for everything as the Editor.md developers originally introduced in 2015. Simple, painless, and intelligent.

Using a single-dollar is asinine.