\newcommand{\Hels}{Heisenberg group}

before begin document -> like a macro, replace everywhere

\newcommand{\Hels}[1] {
Heisenberg group of type #1
}

\newenvironnement{myproof}{
this is the beginning of the proof.}{we are done}


\begin{myproof} Blablabla \end{myproof}