Bohr--Sommerfeld rules for systems

We present a complete, self-contained formulation of the Bohr--Sommerfeld quantization rule for a semiclassical self-adjoint $2 \times 2$ system on the real line, arising from a simple closed curve in phase space. We focus on the case where the principal symbol exhibits eigenvalue crossings within the domain enclosed by the curve -- a situation commonly encountered in Dirac-type operators. Building on earlier work on scalar Bohr--Sommerfeld rules and semiclassical treatments of the Harper operator near rational flux quanta, we derive concise expressions for general self-adjoint $2 \times 2$ systems. The resulting formulas give explicit geometric phase corrections and clarify when these phases take quantized values.