Definition of "Carol"

Carol is fifteen years old and I'm sixteen. Her name is really Caroline, but she hates it and wants to be called Carol - it's so much prettier.

1873, Mary Mapes Dodge, St. Nicholas: A Monthly Magazine for Boys and Girls, page 179

"Holly, would you mind if I named my little girl 'Holly'? I mean, it's right around Christmas time, and I always think of holly with Christmas. I like the name Carol, too, like Christmas carol. I heard once that the name Carol means 'song of joy'".

2006, Joyce Winters, Let Your Light Shine, page 209

This table shows the curious fact that little Prince Carol of Roumania (who is at once the great-grandson and the third cousin of Queen Victoria) has a better hereditary right to the British Throne than Her Majesty.

1899, The English Illustrated Magazine, MacMillan and Co., item notes V.21, page 295

What splendid names for boys there are!There's Carol like a rolling car […]

1933, Eleanor Farjeon, Over the Garden Wall: Boys' Names