A brief introduction to quantum formalism