Use proper character for Grosbol
Typography tweaks for FITS mapping appendix