Test processing of CDATA in HTML and foreign modes

Welcome to this example.

Theorem 1: x < y, y > z