Usefulness of high-definition propagation and voltage map in atrial macro-reentrant tachycardia