Just use '<=' instead of '&le;' in comments.