The main space name at any point enlisted was symbolics.com.