Confusion about formatting of Cpp17 iterator requirements

[eisenwave]

I'm confused about how iterator requirements should be formatted.

[forward.iterators] uses no formatting at all, and says

meets the requirements of a forward iterator if

However, it simultaneously references Cpp17InputIterator which is not consistent.

[iterator.requirements.general] p14 references "non-forward iterator", but this is not a defined term because "forward iterator" isn't defined, and it also doesn't use Cpp17ForwardIterator formatting.

Overall, this is very confusing, and I don't understand the logic behind when ItalicRequirement formatting should be used, and when plain formatting, or definition formatting should be used.

[frederick-vs-ja]

The sentence in [iterator.requirements.general] p14 was changed by P0896R4, presumably refers to both forward_iterator and Cpp17ForwardIterator. We may need an LWG issue for clarification.

In [forward.iterators] p1, I think we can editorially change " the requirements of a forward iterator" to "the Cpp17ForwardIterator requirements".