modified environments to work with new symbols