Added an include for amssymbols