Dấu phẩy trong câu văn sau: “Từ đó, hồ bắt đầu được mang tên là Hồ Gươm hay hồ Hoàn Kiếm.” có tác dụng gì?