Let V be the C*-algebra B(H) of bounded linear operators acting on the Hilbert space H, or the Jordan algebra S(H) of self-adjoint operators in B(H). For a fixed sequence (i₁, ..., iₘ) with i₁, ..., iₘ ∈ 1, ..., k, define a product of $A₁,...,A_k\in V$ by $A₁*\cdots *A_k=A_{i₁}\cdots A_{iₘ}$. This includes the usual product $A₁*\cdots *A_k=A₁\cdots A_k$ and the Jordan triple product A*B = ABA as special cases. Denote the numerical range of A ∈ V by W(A) = (Ax,x): x ∈ H, (x,x) = 1. If there is a unitary operator U and a scalar μ satisfying ${\mu }^m=1$ such that ϕ: V → V has the form A...