13 Oct
2024
13 Oct
'24
5:48 p.m.
Hello parenthetical crowd Is there a consensus about how to "name" Unicode characters, or every implementation does whatever it likes (thus breaking otherwise perfectly portable code)? Cf., #\INFINITY All the best MA PS Do not even think to use the "hey, it is an implementation-dependent thing" argument! -- Marco Antoniotti, Professor tel. +39 - 02 64 48 79 01 DISCo, University of Milan-Bicocca U14 2043 http://dcb.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY