[chrisco255]

The word Gator is not a trademark, it's a common term for an alligator that dates back hundreds of years. "Florida Gators" is, within the context of football, athletics and academics.