Its name was derived from the collective nickname of the university 's athletic teams , the Florida Gators .
Its name was derived from the collective nickname of the university 's athletic teams , `` the Gators '' .