So you can see that any symbol with class Rel (relation) is being considered convertible, which means that its behavior with _ will be like \lim (where the subscript moves to being below the lim ...