post from @erlehmann on 2016-03-16 20:02:05 -0700
&#X3C &#X03C &#X003C &#X0003C &#X00003C &#X000003C < < < < < < \x3c \x3C \u003c \u003C