It was released as "Mac OS X", and then later shortened/rebranded to just "OS X". Unless you want to argue that the etymology of "OS X" is completely unrelated to "Mac OS X" and is merely coincidentally very similar, the statement "OS X was short for Mac OS X" is correct by all but the most pedantic definition.