User blog comment:Cheetahrock63/Hyper operator notations/@comment-39162-20171104015715/@comment-80.98.179.160-20171107122326

@Nayuta Ito, yes.