I think that in OutputForm "->" should be a binary operator. Change
to i-output.boot looks easy. Also, it is easy to modify 'tex.spad'
to handle this. There is question what various formats should
output for "TAG" and "->". Currently in my test version 'tex.spad'
outputs '\rightarrow' and '\to' respectively, which seem to
be reasonable. fmtlatex.spad outputs '\to' for "TAG", which
to me looks wrong, as '\to' seem to be used for domain/codomain
of mapping, that is types and not for values.
--
Waldek Hebisch
--
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZTxk1SXB%2B3dqh3%2Bt%40fricas.org.
