Pensieve header: A unified verification notebook for the $sl_2$-portfolio project, Uix version. Continues the Uxi version and pensieve://Projects/UEA.

Prolog

wdir=SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\SL2Portfolio"];
NotebookOpen[wdir<>"\\MakeSnips.nb"];

HL[ℰ_] := Style[ℰ, Background -> Yellow];

𝕋 - the Hopf algebra of scalars