need to test outfix definitions -- make sure I'm building that posSymbol correctly