added octopus arithmetic to "notation"