Alright, next up, we'll take a look at the $ function, also called function application.

When an unevaluated "function application" is rendered there are a wide variety of appropriate renderings.

When an unevaluated `function application' is rendered there are a wide variety of appropriate renderings.

Each instance of a function application has its own independent local frame.