In data lunedì 7 febbraio 2022 21:46:49 CET, David Kastrup ha scritto: > So how would you characterise this being any different from \kern ?
Uhmmm... I wouldn’t. :-)
In data lunedì 7 febbraio 2022 21:46:49 CET, David Kastrup ha scritto: > So how would you characterise this being any different from \kern ?
Uhmmm... I wouldn’t. :-)