We use computer algebra to study polynomial identities for the trilinear operation [a, b, c] = abc − acb − bac + bca + cab − cba in the free associative algebra. It is known that [a, b, c] satisfies the alternating property in degree 3, no new identities in degree 5, a multilinear identity in degree 7 which alternates in 6 arguments, and no new identities in degree 9. We use the representation ...