Tag 'operator:short = DLRG'