\DeclareFontFamily{U}{Dadim}{}
\DeclareFontShape{U}{Dadim}{m}{n}{<-> dadim11}{}
\newcommand{\da}{\mbox{{\usefont{U}{Dadim}{m}{n}A}}}
\newcommand{\dadimset}{\mbox{{\usefont{U}{Dadim}{m}{n}B}}}

\newcommand{\Dadim}{%
{\usefont{U}{Dadim}{m}{n}A}\raisebox{-0.39ex}{dim}}

\newcommand{\T}{\mathsf{T}}
\newcommand{\Z}{\mathsf{Z}}

% identity operator
\newcommand{\Id}{I\hspace*{-2pt}d}

% event operator
\newcommand{\event}[4]{
\setlength{\unitlength}{1pt}
\parbox{29pt}{
\begin{picture}(30,40)(-2,-20)
\put(0,0)
{\rotatebox{25}{
    \put(15,2){\makebox(0,0)[b]{$\scriptstyle #1$}}
    \put(0,0){\line(30,0){30}}}}
\put(0,0)
{\rotatebox{-25}{
    \put(0,0){\line(30,0){30}}
    \put(15,-2){\makebox(0,0)[t]{$\scriptstyle #2$}}}}
\end{picture}}
\begin{array}{l}
#3\\[8pt]
#4
\end{array}
}
\newcommand{\tightevent}[4]{
\setlength{\unitlength}{1pt}
\parbox{29pt}{
\begin{picture}(30,20)(-2,-10)
\put(0,0)
{\rotatebox{15}{
    \put(15,2){\makebox(0,0)[b]{$\scriptstyle #1$}}
    \put(0,0){\line(30,0){30}}}}
\put(0,0)
{\rotatebox{-15}{
    \put(0,0){\line(30,0){30}}
    \put(15,-2){\makebox(0,0)[t]{$\scriptstyle #2$}}}}
\end{picture}}
\begin{array}{l}
#3\\
#4
\end{array}
}
\newcommand{\wideevent}[4]{
\setlength{\unitlength}{1pt}
\parbox{29pt}{
\begin{picture}(30,60)(-2,-30)
\put(0,0)
{\rotatebox{42}{
    \put(19,2){\makebox(0,0)[b]{$\scriptstyle #1$}}
    \put(0,0){\line(30,0){38}}}}
\put(0,0)
{\rotatebox{-42}{
    \put(0,0){\line(30,0){38}}
    \put(19,-2){\makebox(0,0)[t]{$\scriptstyle #2$}}}}
\end{picture}}
\begin{array}{l}
#3\\[8pt]
#4
\end{array}
}
