ams and \[\]