Umail.utah.edu to uofu

A Utah-specific question!

umail.utah.edu is the email domain for the University of Utah, and uofu is a common abbreviation for the university's name.

So, if you're looking to convert umail.utah.edu to uofu, I'd say you're looking to replace the email domain with the university's abbreviation. Here's the conversion:

umail.utah.edu → uofu

Is that correct?