MetaFont source for the symbols in several variants, designed to fit
with Computer Modern-set text.