There was no synthetic USD, that is clear. What they do is display the average price of BTC from external crypto exchanges. No USD or Synthetic USD was ever exchanged on Bitmex.