Use AUCTeX package and tweak its formatting