⁶Yes, the initialism is correct. I guess this used to be Greenwich Mean Time.