These are just IATA (International Air Transport Association) codes. They are used in aviation to identify and differentiate airports. That’s why a Miami Airport to Manchester Airport flight would often be abbreviated as a MIA to MAN flight.