lib common text automath basic_ag complete_rg xml basic_rg toplevel