3 ms·I think the usual notation works better for this lemma.by Garlef 2y agoI think the usual notation works better for this lemma.