$(…) annotations formatting