Update symv.h