#!/bin/sh

# tr ₂-₉ 2-9 < elem.html
cat elem.html | sed -e 's:[₂₃ₘₙ]:<sub>\0</sub>:g; s:[⁴⁹]:<sup>\0</sup>:g; y/₂₃ₘₙ⁴⁹/23mn49/;'