  We refine Khovanov homology in the presence of an involution on the link.
This refinement takes the form of a triply-graded theory, arising from a pair
of filtrations. We focus primarily on strongly invertible knots and show, for
instance, that this refinement is able to detect mutation.
