special pre/post-amble macros for converting single formulas