Symbol: quadruple_equivalence