HTML escape of triples