Formerly called T. C. Williams High School, it is now known as Alexandria City High School