Gentle LyX developers: What would it take to incorporate a couple of missing logical connectives? The symbols \boxright and \Diamondright from the txfonts package are used very commonly in modal logic to express the *would* and *might* counterfactual conditionals. (Kludged up out of separate symbols they are, roughly, "โกโ" and "โโ".) It would be supercool if these were included in LyX's already great set of native math symbols.
Chris Menzel
