nit: Since Javadoc is HTML, `<->` is supposed to render as HTML. But it'll just freak out.