User blog comment:KthulhuHimself/Norminals Revisited./@comment-5529393-20160710171207/@comment-27014275-20160712085224

Actually, I use <0,2> in the definition of N<0,2>; not in the definition of <0,2> itself.