The multipication sign should be in superscript, but unforunately there's no suitable Unicode character… unless we abuse IPA:

ℤ₂⁵ˣ⁵