I was filling out the credit card receipt at a restaurant last night. Writing in the tip and total amounts (which, by the way, I added up incorrectly. I wasn't paying too much attention), I wrote in a dollar sign. After filling it in, I noticed that the receipt had preprinted dollar signs. So I had two dollar signs.