If you need to escape characters in XML comments, you need to use the character entities, so < would need to be escaped as <, as in your question.
The alternative to escaping is using CDATA sections, to the same effect.
As you noted, this would produce good looking documentation, but a horrible comment to read…