@(choose :shortest x)
@x:@y
@(or)
@x<--@y
@(or)
@x+@y
@(end)