Is there a Standard or non-standard notation for swapping symbols? For example, my proof is identical for an arbitrary vector space $V$ over the field $\mathbb F$, however the original proof is written for $\mathbb R^n$.
I want to indicate using notation to swap every instance of $\mathbb R^n$ (as a symbol) for $V$, (as a symbol), and the proof is syntactically equivalent.
I was thinking $\mathbf{Swap}(\mathbb R^2\rightarrow V)$, but it is ugly and I wish for a standard or non-standard symbol for this act. I will invent my own if there isn't one.
Thank you in advance for your help!