Variation support in notation