Mexico City was "Mexico DF", but was changed years ago to CDMX. That stands for "Ciudad de mexico"

I think there are legal implications. Akin to "Washington District of Columbia"

Decades ago, Mexicans refered to the capital as "el DF" But I dont know about more recently.