Sweedler notation

Summary