1: \begin{definition} The strongly stable ideal $J$ given in Theorem \ref{thm:Galligo} 

2: This ideal is called the \textbf{\boldmath generic initial ideal of $I$

3:  with respect to $\sigma$} and it is denoted by~{\boldmath  $\gin_\sigma(I)$}.  

4:  In particular, when $\sigma=$DegRevLex, it is denoted by~{\boldmath $\rgin(I)$}.

5: %  \EP{when $\sigma=$\tt{DegRevLex} $\gin_{\sigma}(I)$ is denoted by $\rgin(I)$}

6: %\end{definition}

7: