We present a basic formalism for using the Weyl spinor notation in Feynman rules. We focus on Weyl spinors with mixed Dirac and Majorana mass terms. To clarify the definitions we derive the Feynman rules from the path integral and present two examples: loop corrections for a fermion propagator and a tree level analysis of a seesaw toy model.