An English abbreviation for one-thousandth of an inch.