EQNPOS_SUP
cur->pos == EQNPOS_SUP ||
parent->pos = EQNPOS_SUP;
case EQNPOS_SUP:
(bp->pos == EQNPOS_SUP ||