update patterns doc
notions of notation