(SuperStar[{η,ξ,y,x}])

(Subscript[m, i,j->k])
lhs=(Subscript[m, 1,2->1])//(Subscript[m, 1,3->1])
rhs=(Subscript[m, 2,3->2])//(Subscript[m, 1,2->1])
lhs≡rhs

(Subscript[R, 1,2])(Subscript[(OverBar[R]), 3,4])

((Subscript[R, 1,2])(Subscript[(OverBar[R]), 3,4]))//(Subscript[m, 1,3->1])

(Subscript[m, 2,4->2])

(Subscript[R, 1,2])(Subscript[(OverBar[R]), 3,4])//(Subscript[m, 1,3->1])//(Subscript[m, 2,4->2])//CF

(Subscript[m, i,j->k])
lhs=(Subscript[m, 1,2->1])//(Subscript[m, 1,3->1])
rhs=(Subscript[m, 2,3->2])//(Subscript[m, 1,2->1])
lhs≡rhs

$k=2; (Subscript[R, 1,2])

CF[((Subscript[R, 1,2])(Subscript[R, 4,3])(Subscript[R, 5,6])//(Subscript[m, 1,4->1])//(Subscript[m, 2,5->2])//(Subscript[m, 3,6->3]))[[3]]-((Subscript[R, 2,3])(Subscript[R, 4,5])(Subscript[R, 1,6])//(Subscript[m, 1,4->1])//(Subscript[m, 2,5->2])//(Subscript[m, 3,6->3]))[[3]]]

$k=2

(Subscript[m, 2,5->2])//(Subscript[m, 3,6->3])

(Subscript[m, 1,4->1])//((Subscript[m, 2,5->2])//(Subscript[m, 3,6->3]))

(Subscript[R, 1,2])(Subscript[R, 4,3])(Subscript[R, 5,6])//(Subscript[m, 1,4->1])//((Subscript[m, 2,5->2])//(Subscript[m, 3,6->3]))

((Subscript[R, 1,2])(Subscript[R, 4,3])(Subscript[R, 5,6])//(Subscript[m, 1,4->1])//(Subscript[m, 2,5->2])//(Subscript[m, 3,6->3]))≡((Subscript[R, 1,2])(Subscript[R, 4,3])(Subscript[R, 5,6])//(Subscript[m, 1,4->1])//((Subscript[m, 2,5->2])//(Subscript[m, 3,6->3])))