Shortest Formula Challenge #5: Results and Discussion 2

A couple of weeks ago I set readers the challenge which can be found here.

Surprisingly, no-one managed to come up with the shortest solution. Dozens of attempts came very close, yet all were either ineligible or syntactically incorrect.

As such, the shortest correct solution was also the very first received, courtesy of pjc, viz:


So many congratulations to pjc, even the more so as this was their very first post at this site! Fantastic start, pjc!