(@-@) (@-@) (@-@) >< z/x