It was my understanding that abbreviations are mandatory at Twitter, due to the short character limit on tweet length, so yes, I used the abbreviation that the tweeps use.

John