SELECT "Nickname" FROM table_2140 WHERE "Enrollment" = '9000'
Name the nickname for enrollment being 9000
CREATE TABLE table_2140 (
    "Institution" text,
    "Location" text,
    "Nickname" text,
    "Founded" real,
    "Type" text,
    "Enrollment" real,
    "Joined" real
)