【介绍】： 元临邛人。著有《群书钩玄》，杂采古事古语，以字数为标目、次第。