\( (sub{6..9})->() ) #### \( &{sub{6..9}}() )