use amsmath package