what is this `<CR>` tag?