Xiaomi global vs Chinese range

I'm in the UK and considering getting the Xiaomi X20 Pro for £400 (~$500 US).

I was looking at Aliexpress to see if they are selling it for significantly cheaper, but it seems Xiaomi have a whole different range/set of model names for the Chinese market and I'm having a hard time matching up which Chinese model corresponds to which global model (if they even do).

Does anyone know what the X20 Pro (and/or +, Max, other Xiaomis) equivalent in China is called? Is there even a direct equivalent or is the Chinese range differently speccd?

Appreciate any help.