Unicode doesn't distinguish between a dollar sign
with one and a dollar sign with two strokes, which makes me sad.