Synthetix enables the creation of synthetic assets that can be pegged to any cryptocurrency, real-world asset, index, and more. iXTZ is a synthetic asset issued by Synthetix that inversely tracks the price of Tezos through oracles. You can short Tezos simply by buying iXTZ.