(Lie about the syntax (and the syntax for "list") because latex2html
doesn't seem to handle doubly nested [] pairs.)