`&lte;` is not an official escape?