DeWitt notation

ウィキペディアから