#!/lunar/u1/berryj/bin/gawk -f

BEGIN {  print "\\begin{flushleft}";
         print "\\begin{tabbing}";
	 FS = "\->";
	 flag = 0;
      }

/^[ 	]*rule /{ if ($1 !~ /@/) {if (flag == 0) { 
		print "\\em{", $1, "}", "\\\= \$\\rightarrow\$ \\\=",  
		      "\\em{", $2, "}" , "\\\\";
		flag = 1;
	   }  else { print "\\em{", $1, "}", "\\\> \$\\rightarrow\$ \\\>",  
			"\\em{", $2, "}" , "\\\\";
	   }
	}}

END {   print "\\end{tabbing}";
        print "\\end{flushleft}";
    }