Category:Math display extensions/de-formal