Enhanced Show-and-Tell Extension of

Three-dimensional visual language for higher-order logic