unexpected use of unicode

[jwgh]

I was in the burritza place on Thayer Street and I noticed that the burrito half had a sign up with prices for side orders. The cheapest item was like 55 cents.

But instead of rendering this as '55￠' (fifty-five cents) it was rendered as '55⊄' (fifty-five is not a proper subset of).

This made me happy.