To the unschooled eye, the algorithm script on the tie, known formally as “qrpff,” looks like a lengthy typographical error. But to Mr Benitez and other computer ...