> element of set is '\[mo]'. Would it still be logical to expand > the synax for eqn to add it as a keyword?
I would just put something like define member % type relation \[mo] % define emptyset % \[es] % and so on into my own eqnrc file, then you can say .EQ x member emptyset .EN and so on. (Set GROFF_TMAC_PATH to the name of the directory that contains the eqnrc, so that it will be found automatically.)
