alternating hyperphoria; alternating supraduction; alternating sursumduction; dissociated vertical divergence; double hyperphoria