37 \def\rdistincts{\textit{rdistinct}}

    37 \def\rdistincts{\textit{rdistinct}}

    38 \def\rDistinct{\textit{rdistinct}}

    38 \def\rDistinct{\textit{rdistinct}}

    39 \newcommand\hflat[1]{\llparenthesis  #1 \rrparenthesis_*}

    39 \newcommand\hflat[1]{\llparenthesis  #1 \rrparenthesis_*}

    40 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'}

    40 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'}

    41 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)}

    41 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)}

    42 

    51 

    43 \newcommand\myequiv{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny equiv}}}{=}}}

    52 \newcommand\myequiv{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny equiv}}}{=}}}

    44 

    53 

    45 \def\SEQ{\textit{SEQ}}

    54 \def\SEQ{\textit{SEQ}}

    46 \def\SEQs{\textit{SEQs}}

    55 \def\SEQs{\textit{SEQs}}

   110 \def\PD{\textit{PD}}

   119 \def\PD{\textit{PD}}

   111 \def\suffix{\textit{Suffix}}

   120 \def\suffix{\textit{Suffix}}

   112 \def\distinctBy{\textit{distinctBy}}

   121 \def\distinctBy{\textit{distinctBy}}

   113 \def\starupdate{\textit{starUpdate}}

   122 \def\starupdate{\textit{starUpdate}}

   114 \def\starupdates{\textit{starUpdates}}

   123 \def\starupdates{\textit{starUpdates}}

   115 

   126 

   116 

   127 

   117 \def\size{\mathit{size}}

   128 \def\size{\mathit{size}}

   118 \def\rexp{\mathbf{rexp}}

   129 \def\rexp{\mathbf{rexp}}

   119 \def\simp{\mathit{simp}}

   130 \def\simp{\mathit{simp}}