<<xAct`Spinors`

DefManifold[M4,4,{a,b,c,d,f,p,q,r,m,l,h,j,n,s}]

Definition of a Lorentzian metric on the manifold:

DefMetric[{1,3,0},g[-a,-b],CD,{";","∇"}]

Introduction of a spin structure

DefSpinStructure[g,Spin,{A,B,C,D,F,H,L,M,P,Q,R,S},ϵ,σ,CDe,{";","▽"},SpinorPrefix->SP,SpinorMark->"S"]

DefSpinor[TT[-A,-A†,-B,-B†],M4,StrongGenSet[{1,2,3,4},GenSet[Cycles[{2,4}],Cycles[{1,3},{2,4}]]]]

Dimino@SymmetryGroupOfTensor@TT

TT[-A,-A†,A,-B†]

ToCanonical@%

ToCanonical[%%,MathLink->False]

SymmetryGroupOfTensor@TT

SchreierSims[{1,2,3,4},Last@%]

GenSet@@Rest@Dimino@SymmetryGroupOfTensor@TT

SchreierSims[{},%]

SymmetryGroupOfTensor@TT^=%

TT[-A,-A†,A,-B†]

ToCanonical@%