Notational tweaks