I am pretty sure at one point Tor used to be 'the onion router' and hence TOR would be appropriate, however it is now Tor which is not an onion router (some say)