Shorthand notation for describing an interactive method call

We will adopt a shorthand notation to describe an interactive method call.

This makes it possible to write the details of such a method call on a single line.