The command line tool outputs the first <-> in HTML mode.