Where does “elephantus” come from?

elephantus (Latin) comes from Ancient Greek ἐλέφας, from Egyptian ꜣbw — cessation; elephant; elephant tusk.

elephantus (Latin): An elephant; Ivory