Bra-ket notation
Operator
Linear temporal logic
Schrödinger equation
Physics
Quantum mechanics
Wave function