The dyad x;:y has been extended; specifically, >3{x is ijrd where d=.>3{ijrd is an end-of-input action parameter. See the dictionary page for ;: for details.