On 11/4/23 19:34, Waldek Hebisch wrote:
Too unsolvable for now. So to make the story short, I am in favour of
introducing "~>" which in LaTeX seems to be \leadsto (with symbol
\rightsquigarrow, as defined in amsfonts.sty and amssymb.sty.
Yes. I am looking at other formatters. For MathML we probably
should use appropriate unicode characters. Two candidates I
found are:
219D;RIGHTWARDS WAVE ARROW
21DD;RIGHTWARDS SQUIGGLE ARROW;
There seem to be HTML names for it (see attachment).
<p>rarrw (↝) </p>
<p>zigarr (⇝)</p>
According to https://www.w3.org/TR/MathML2/byalpha.html it seems that
these are also the MATHML names for these arrows.
BTW, when I enter $\rightsquigarrow$ into jFriCAS, then MathJax
translates it to
<math xmlns="http://www.w3.org/1998/Math/MathML";>
<mo stretchy="false">⇝<!-- ⇝ --></mo>
</math>
By name the second is better match, but in my Firefox the
first looks a bit better.
I am definitely for zigarr (21DD). The wave arrow (219D) looks like the
arrow head pointing diagonally upwards, see attachment.
BTW, I wonder whether we could get rid of "TAG" and replace it with "~>" or
"LEADSTO" and either "->" or "TO", and "+->" or "MAPSTO" as the tags that
appear in an OutputForm.
I am not sure what you exactly propose. If we use 3 different symbols,
than changing "TAG" to "~>" in source files is reasonable.
I was not sure whether to use the arrow symbols itself as tags
(OutputForm operators) or rather use names. I am OK with arrow symbols.
BTW, can you create a pull request with your proposed code, then I could
add corrections to the formatters, if I find something incomplete.
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/e8802c0c-b2bb-4b55-8623-063fa772abb1%40hemmecke.org.
