I used this abbreviation heavily in Listing 1.
⇑ Translate the sentence above by Google ⇑
Related: abbreviation
Prev: But we all know that "bye" is just an abbreviation of "goodbye."
Next: "dr." is an abbreviation for "doctor".
