Once upon a time, I wanted to rely on these distinctions in a TTS frontend to distinguish between 5" floppy disk and "Mambo No. 5"

I soon realized that people use quotation marks and dashes in such a random manner that insisting on treating the semantics literally would create more confusion than it would resolve.

Edit: Now that my comment has posted, I realized you used the correct characters, but the font on my browser rendered them in a seemingly incorrect way, so they looked like double primes.