proper xml notation for .lt.