Symbol: addcomment