Iverson's mathematical notation