CREATE TABLE table_2140 ("Institution" TEXT, "Location" TEXT, "Nickname" TEXT, "Founded" FLOAT, "Type" TEXT, "Enrollment" FLOAT, "Joined" FLOAT)

Name the nickname for enrollment being 9000
SELECT "Nickname" FROM table_2140 WHERE "Enrollment" = '9000'
SELECT "Nickname" FROM "table_2140" WHERE "Enrollment" = '9000'