There are lots of man pages. This one doesn't mention Ctrl being minus 40. Not sure what the point is.