Convert xml symbol notation

[dumbkiwi]

On Apr 7, 5:23 pm, "Gabriel Genellina" <gagsl-... at yahoo.com.ar> wrote:
> dumbkiwi wrote:
> > I'm working on a script to download and parse a web page, and it
> > includes xml symbol notation, such as ' for the ' character.  Does
> > anyone know of a pre-existing python script/lib to convert the xml
> > notation back to the actual symbol it represents?
>
> Try the htmlentitydefs module.

Is that a standard module?  I can't see it anywhere - googled it.