% Automatically generated \csname tex4ht\endcsname \HCode{\Hnewline \Hnewline \Hnewline} $$ \Desig $$ \HCode{\Hnewline \Hnewline \Hnewline} \bye