diracnotation