What Unicode characters should we use to encode Greek metrical symbols