% Automatically generated
\csname tex4ht\endcsname
\HCode{\Hnewline \Hnewline <!-- tex4ht_begin tex_gdef_tex4ht_tex tex 1 -->\Hnewline}
  \gdef\Desig{\buildrel \rm def \over \equiv}
\HCode{\Hnewline <!-- tex4ht_end tex_gdef_tex4ht_tex tex 1 -->\Hnewline \Hnewline}

\bye
