["html", ["pre", ["code", "       $ python       "]]]