grthtrhthjhtyjytjytkergtrhtrjytjerhrfh4:24 29/09/2026#
# Predefined groff symbols for the dingbats font.
#
a19 OK
a12 rh