A{{>sub}}B{{>sub}}:{{x}}($$x$$)