libm: fix unrecognized symbols in comments