lib common text automath basic_ag basic_rg complete_rg toplevel