Since these pairs have an inverse leverage relationship you would buy/buy or sell/sell, not buy/sell etc. The goal is to have zero exposure to the ETF index (in this case the SP500). How to execute this trade is sort of a complicated question, but the short answer is that it requires HFT...