  The article provides proofs for the regularity of Dirac eigenfunctions,
subject to MIT boundary conditions employed on various types of open sets
ranging from smooth ones to convex polygons in two dimensions, as well as on
half-space and smooth bounded domains in three-dimensional space.
