#!/usr/bin/perl -w 
$data_file= $ARGV[0];
open(DAT, $data_file) || die("Could not open file $data_file!");
@raw_data=<DAT>;

foreach $_ (@raw_data)
{
  s/&less;/&lt;/g
  s/&le;/&lt;/g
  s/&gtr;/&gt;/g
  s/&assign;/:=/g
  s/&ast;/*/g
  s/&cdot;/\./g
  s/&cdots;/\.\.\./g
  s/&ldots;/\.\.\./g
  s/&vdots;/|/g
  s/&ddots;/ /g
  s/&times;/*/g
  s/&neq;/&lt;&gt;/g
  s/&cal-O;/O/g
  s/\*/&star;/g
  s/&leqslant;/&lt;=/g
  s/&geqslant;/&gt;=/g
  s/&subset;/&lt;=/g
  s/&infty;/oo/g
  s/&cal-T;/T/g
  s/&b-b;/<b>b<\/b>/g
  s/&b-c;/<b>c<\/b>/g
  s/&b-f;/<b>f<\/b>/g
  s/&b-i;/<b>i<\/b>/g
  s/&b-x;/<b>x<\/b>/g
  s/&cal-A;/<em>A<\/em>/g
  s/&cal-C;/<em>C<\/em>/g
  s/&bbb-C;/<u><b>C<\/b><\/u>/g
  s/&bbb-K;/<u><b>K<\/b><\/u>/g
  s/&bbb-P;/<u><b>P<\/b><\/u>/g
  s/&bbb-Q;/<u><b>Q<\/b><\/u>/g
  s/&bbb-R;/<u><b>R<\/b><\/u>/g
  s/&bbb-Z;/<u><b>Z<\/b><\/u>/g
  s/<space>/<space/g
  s/<\/space>/space\/>/g
  s/<big>sum<\/big>/&sum;/g
  s/&/xxx:amp/g	
  s/\\\\\"/\"/g
  print $_;
}
close(DAT);

