Perform a derivation with Dirac symbols?

[zxs201 (Xiaosong Zhu)]

For example, Mathematica calculates like: <a|b>=0, <a|a>=1, <a|Fx|b>=Fd_ab?Thanks very much!