Declares an object to be a spinor, i.e. transforming in one of the spinor representations of the orthogonal or Lorentz group. The declaration should involve an indication of the dimension, as in the example below. It can optionally have type indicators (these should be Majorana, Weyl or MajoranaWeyl) and chirality indicators for Weyl spinors (Positive or Negative, indicating the eigenvalue with respect to the generalised $\gamma_5$ matrix). Here is an example:
$$\displaystyle{}\text{Attached property Spinor to }\psi.$$
This property is taken into account by various algorithms such as fierz and sort_spinors.