Lambda Calculus Visual - function box applied to an argument. This visual explains function application in lambda calculus through structure rather than text. The upper left box represents an abstraction: a lambda marker points to a dashed input slot, and the body beside it holds two dashed placeholders joined by a single arc, showing they are the same bound variable, with a square standing for a constant term. To the right, a separate box contains the argument, a solid hexagon matching those shapes exactly. Placing the two boxes side by side is the notation for applying one to the other, and a bracket underneath groups them into a single expression. A downward arrow marks the substitution step known as beta reduction. In the result box below, every bound position has been filled with the argument while the constant stays untouched, and the binder, arc and marker have disappeared because the function has been consumed. Suitable for computer science courses, theory of computation lectures, functional programming tutorials, Haskell or Lisp explainers, logic and foundations slides, and edtech content on how programs evaluate expressions. Clean minimalist outline style, single stroke weight, no labels or numerals, scalable for print and screen.