michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0:

michael@0: $michael@0: {michael@0:}_{x michael@0: 2 michael@0:} michael@0:$ michael@0:

michael@0: michael@0: michael@0: michael@0: