Might one of the following examples work?
The Riemann hypothesis asserts that the real part of every non-trivial zero of the Riemann zeta function ζ(s)=∑∞n=11ns is equal to 12.
(Stealing from Wikipedia): A sequence of groups and group homomorphisms G0f1→G1f2→G2f3→⋯fn→Gn is called exact if im(fk)=ker(fk+1) for 0≤k<n.
(Also paraphrased from Wikipedia): Given an n×n matrix A whose elements are ai,j, we can define the determinant det where is the symmetric group on elements.
I'm a bit worried, though, that "standard research notation" in one discipline is foreign to mathematicians in other disciplines.