We ended up going with radio buttons, because we didn't like the mix of text and symbols that results with drop-down menus: "epsilon>0" seems like bad style.
The only thing we couldn't solve is that inline radio buttons are aligned horizontally, and it would look nicer if they were stacked vertically. (See attached screenshot.)
Does anyone know how to do vertical alignment of radio buttons inline (within a sentence)?
