added new symbols; changed sandbox integral symbol