#! /bin/sed -f
# Last edited on 2000-10-05 04:34:29 by stolfi
s/sh/Sh/g
s/ch/Ch/g
s/cth/CTh/g
s/ckh/CKh/g
s/cph/CPh/g
s/cfh/CFh/g
s/^/\\evab{/
s/$/}/