5.4 notation