Aloha all, With the new exporter's texinfo back-end, I think org-entities and org-entities-user might usefully be augmented with the entities listed in Chapter 14 of the texinfo manual, Special Insertions.
Or, is there some other Org mechanism that might be preferable? All the best, Tom -- T.S. Dye & Colleagues, Archaeologists 735 Bishop St, Suite 315, Honolulu, HI 96813 Tel: 808-529-0866, Fax: 808-529-0884 http://www.tsdye.com