; Use @minus for negative numbers in some texi files