#!/bin/sh
cat $1 | \
   sed "s/atmath/formula/g"        | \
   sed "s/atdiffdef/formuladiff/g" | \
   sed "s/atunitdef/formulaunit/g" | \
cat > $1.$$
mv $1.$$ $1