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

@niplav Is there a practical difference in meaning that I have not known about my entire life?

$$$