I thought that was Sarin, not that the folks that inhaled it cared about the difference.
They used both.