The population of Tokyo Metropolis exceeds 13 million.
Tips
usage
东京都 refers specifically to the Tokyo Metropolitan government area (都 = metropolis). Colloquially, 东京 alone is used in most contexts. The 都 distinguishes it as an administrative prefecture-level entity unique to Tokyo.
