Re: [Groff] What does 'groff <<<foo' do?

[Tadziu Hoffmann]

> Actually all shells that I know of don't specify that
> redirection take place at the end of the command line.
> Witness:
> 
>     $ <<<$HOME  cat
>     /home/mbianchi
> 
>     $ <<<$HOME >/tmp/i  cat
>     $ cat /tmp/i
>     /home/mbianchi

Hey, that's cool!  I'd never even thought about it.
So with regard to "proper" left-to-right order we can say

  <input command >output