Some notation proposals.

Please vote, @bcclaywell.