Yes, I noticed that short shares even for the SPY were not available, and the SSO is simply the double-long of the SPY. Like qixiq mentioned, the SDS is the double-short of the SPY, same as going short the SSO. You can also look at the SH, which is simply the inverse of the SPY.
However...