Added notation [==] for pointwise function equality