#equals #jj #oo #symbolic pattern #=jj=oo(ko literal