Documenting the `in` operator