Correct < and > encodings