with the Greek letter symbols introduced by J. Bayer, numbers used in the J. Flamsteed