added ams&stmaryrd symbols