User blog comment:Wythagoras/Some function related to Loader's./@comment-11227630-20140719125717

Attempt to express Taranovsky's notation.

(just kidding)

But can we express it (though it may be very difficult)? Or we cannot express it anyway?