dist

Etymology
Shortening.