Added a listofsymbols environment