TEI charDecls for TCP non-standard characters