\def\sqntype#1{\ensuremath{seq.#1}}
\def\xnil{\ensuremath{\bot}}
\def\xrinsftor{\ensuremath{\rightsquigarrow}}
\def\xrins#1#2{\ensuremath{#1\xrinsftor #2}}
\def\xsqn#1{\ensuremath{\langle{#1}\rangle}}
\def\xconsftor{\ensuremath{\triangleleft}}
\def\xcons#1#2{\ensuremath{#1\xconsftor #2}}

\def\xsnocftor{\ensuremath{\triangleright}}
\def\xsnoc#1#2{\ensuremath{#1\xsnocftor #2}}

\def\hsconsftor{\ensuremath{\pmb{:<\mid: }}}
\def\hscons#1#2{#1\hsconsftor #2}

\def\sqnlen#1{\ensuremath{\|#1\|}}
\def\xcatftor{\ensuremath{\pmb{\,\hat{ }\,\hat{ }\,}}}
\def\xcat#1#2{\ensuremath{#1\xcatftor #2}}

\def\hscat#1#2{\ensuremath{#1 :\hat{ }: #2}}

\def\xsbsqnftor{\ensuremath{\sqsubseteq}}
\def\xsbsqn#1#2{\ensuremath{#1\xsbsqnftor #2}}

\def\xsegftor{\ensuremath{\sqsubseteq}}
\def\xseg#1#2{\ensuremath{#1\xsegftor#2}}

\def\xtieftor{\ensuremath{\Join}}
\def\xzipftor{\ensuremath{\mid}}
\def\xtie#1#2{\ensuremath{#1\xtieftor#2}}
\def\xstie#1{\ensuremath{\langle#1\rangle}}
\def\xzip#1#2{\ensuremath{#1\xzipftor#2}}

\def\tiesqntype#1{\ensuremath{Tie.#1}}
\def\psqntype#1{\ensuremath{PSeq.#1}}

\def\xsubseqeqftor{\ensuremath{\subseteq}}
\def\xsubseqeq#1#2{\ensuremath{#1\xsubseqeqftor #2}}

