(this is on Standard library lib-0.7) People, `not' is declared without underscore (which looks natural), and `¬_' is declared with underscore. Why not omit this latter underscore? Regards, ------ Sergei