#! /bin/sed -f s/{\\tt \\hackscore {}\\hackscore {}/\\sectcode{__/ s/\\hackscore {}\\hackscore {}/__/