User blog comment:Nayuta Ito/Extended extended chain notation/@comment-223.255.230.236-20141219104455/@comment-99.185.0.100-20150802175528

yes, but $$Loader's number\xrightarrow[Loader's number]{}Loader's number$$ is a salad number and doesn't count.