#
# Predefined groff symbols for the dingbats font.
#
a19 OK
a12 rh