Am 14.09.23 um 02:20 schrieb Walter Burkhard via texhax: > the attachment shows the font --- Looks like Metric Bold: https://klim.co.nz/retail-fonts/metric/ Herbert