User blog comment:Maxywaxy/maxywaxy's power-of-2 notation type thing/@comment-25601061-20180617170636

What would [a,A#A] be?