Re: Domain-specific notations