Add a small "usage:" comment at the top of not.cpp

Mostly pulled from Rafael's r185678 commit message.