Some useless notational stuff.