[LRN] \longdiv symbol added