%\newcommand{\assign}{' =}
\newcommand{\alg}[1]{\text{\bf #1}}
-\newcommand{\setmerge}{\alg{set-merge}}
+\newcommand{\setmerge}{\alg{merge}}
\newcommand{\setmergeof}[3]{\setmerge\left\langle #1 \;\middle\langle #2 \middle\rangle\; #3 \right\rangle}
%\newcommand{\setmergeof}[3]{\setmerge\left\lgroup #1 \;\middle\lmoustache\; #2 \;\middle\rmoustache\; #3 \right\rgroup}
%\newcommand{\setmergeof}[3]{\setmerge\left\rmoustache #1 \middle\rmoustache #2 \middle\lmoustache #3 \right\lmoustache}
\newcommand{\hasdirdep}{\succ_{\mkern-7.0mu _1}}
\newcommand{\hasdep}{\succ}
\newcommand{\isdep}{\prec}
+\newcommand{\isdirdep}{\prec_{\mkern-7.0mu _1}}
\newcommand{\tipz}{ T^0 }
\newcommand{\tipc}{ T }