Title: An extension of Dirac notation