Named tensor notation

This may be a useful notation to clearly communicate tensor operations, especially those used in Deep learning.