df-gid,ginv,gdiv,gx,ringo,exid
df-hnorm,hvsub,oc,pj
df-sh,ch,shs,span,chj,chsup,st,hst
FL's mathbox update
merge FL changes
master as of 24-Dec-2013