User blog:Alemagno12/Typed Veblen Notation

This is an extension to 2-entry Veblen notation that makes it extremely strong.

A valid expression in typed Veblen notation is either: [WIP]
 * 0
 * φ(