Imagine something like this for, say, a predicate calculus! Oh wait, there is: Frege's notation, and even though it historically was first, it never caught up.

Imagine something like this for, say, a predicate calculus! Oh wait, there is: Frege's notation, and even though it historically was first, it never caught up. Hmmm, I wonder why?