XML character encoding for ampersand