has anyone created maybe an emacs extension that makes the 'o' in e.g. membero superscript, like in reasoned schemer? more readable imo