Update notation