Did you know?“Gator” is just a clipped form of “alligator,” and the full word entered English from Spanish el lagarto, originally meaning “the lizard.”