They're barred from trading anything the SEC regulates (including options and shorted stock) with regards to airline, airplane manufacturer or airplane part manufacturer stocks. There is an exception allowing them to indirectly own them (like through mutual/index funds).

“But I did even better than owning zero airline stock. I own a negative amount!”