Dollar Sign Character in Strings

It doesn't look like you pasted your code correctly as you only have 3 double quotes.

Anyhow, the best way to do this is to just escape the dollar sign as follows:

"\$"

To escape the dollar sign inside a string literal, use the backslash character:

"\$"

To escape it in a raw string literal ("""..."""), the workaround you provided is indeed the easiest solution at the moment. There's an issue in the bug tracker, which you can star and/or vote for: KT-2425.