Supporting amsart, amsmath, amsthm, and array