Die aufwändige Lösung wäre ein PHP-Programm, das sich den Code-Schnippsel holt, alle
<
durch<
ersetzt und dann anzeigt. Aber vielleicht get's ja einfacher.
Das ist 1. nicht „aufwändig“ und 2. willst Du bitte einfach htmlspecialchars( $txt ) verwenden.