Is there a different between < and \< ? What happens if in the PNX there is &gt; instead of > ? Or can this not happen? Maybe, this is not much of a problem, since the translator worked (here) pretty nicely. Also I didn't treat these cases in my first attempt...