Return to Revisions

I would write $R \sqcup \mathbb{Z}[X]$, since this is in fact this coproduct, or (since people do not like the coproduct symbol for some reason when applied to the category of rings) $R * \mathbb{Z}[X]$. If you want to have something similar to $R[X]$, I would suggest $R\{X\}$.