annotations for md-jax