In reply to Re^3: Convert HTML symbols to equivalent Unicode by Anonymous Monk in thread Convert HTML symbols to equivalent Unicode by jai_dgl