On Mon, Jun 12, 2023 at 07:28:18AM +0200, Daniel wrote: > > On 2023-06-10 21:49, Richard Kimberly Heck wrote: > > On 6/10/23 02:17, Daniel wrote: > > > On 2023-06-10 05:54, Tom Goldring wrote: > > > > If I put in the [\mathbb] "R" followed by _\aleph_0, the R and > > > > the aleph show up correctly, but the zero (the subscript of the > > > > aleph) shows up as a different character (I think it's the > > > > character that's used in formal logic to mean something like "is > > > > not a proof of"). > > > > > > I do not know why it is showing different symbols. > > > > It's because the 'blackboard' font is quite limited (to ASCII caps, I > > think). If you type characters not present in that font, you get weird > > results. > > > > Riki > > I see. Would be better to get an undefined symbol, e.g. questions marks, > rather than weird symbols. But I guess there is some technical reason for > this. > > Daniel
In this case, LyX creates the corresponding LaTeX code "$\mathbb{0}$", which is
valid LaTeX. It is true that the output is counter-intuitive. I'm not convinced
we should do anything here.
We could try to do something to make it more clear that we're still in the
\mathbb inset, if the red corners aren't clear enough. I've been bitten by
these types of issues also. But I have no concrete suggestion.
We could provide a module called something like "Error on likely mistakes". I'm
guessing it would be easy to write LaTeX that gives an error if not certain
characters are used inside \mathbb. But the user would have to first manually
add that module, and I'm not sure the most people who would benefit from that
module would be the ones to add it.
Scott
signature.asc
Description: PGP signature
-- lyx-users mailing list [email protected] http://lists.lyx.org/mailman/listinfo/lyx-users
