Treating atrial fibrillation symptoms