this notation holds a lot of theoretical importance for computer science