Implied notation