string pretty_short()
Used in the printing of clever inventorys. If you dont want to
mess up the normal shorts but want to do odd things in the inventory
use this procedure
See also
pretty_short, long, query_plural, pretty_plural, query_short
