Involutive Khovanov homology and equivariant knots

For strongly invertible knots, we define an involutive version of Khovanov homology, and from it derive a pair of integer-valued invariants $(\underline{s}, \bar{s})$, which is an equivariant version of Rasmussen's $s$-invariant. Using these invariants, we reprove that the infinite family of knots $J_n$ introduced by Hayden each admits exotic pairs of slice disks. Our construction is intended to give a Khovanov-theoretic analogue of the formalism given by Dai, Mallick and Stoffregen in involutive knot Floer theory.