I've heard it called Elephant tranquilzer as a nickname before and have a feelin some people call it horse tranquilzer, but It isn't actually used to tranquilize horses.

But i dunno! would need to check and I can't be bothered