Types

  • and are Hermitian adjoints of each other

  • Ladder operator for angular momentum