Chris Menzel wrote:
> 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.
Unfortunately using symbols from txfonts has side effects: It changes the
serif font to times and the sans font to helvetica (for the whole document),
and therefore no symbols from txfonts are used by default in LyX.
If you know any other package which provides these symbols without changing
document fonts, then please tell aus, and we can probably add these symbols.
If you are comfortable with using the txfonts package, then you can easily
make LyX show some similar symbols instead of \boxright and \Diamondright in
red: Simply add these two lines to the file lib/symbols (the name refers to
the source package, the location in the installation depends on the
packaging):
\def\boxright{□\kern-3mu→}
\def\Diamondright{◇\kern-3mu→}
Then you only need to add
\usepackage{txfonts}
to the LaTeX preamble to make the document compile. The good thing is that
your documents will still work with an unmodified LyX installation, it is
only the display in LyX which is changed.
Georg
