Closed rtoy closed 2 days ago
Imported from SourceForge on 2024-07-04 19:40:17 Created by harder on 2003-04-25 23:59:54 Original: https://sourceforge.net/p/maxima/bugs/303/#f346
Attachments:
Imported from SourceForge on 2024-07-04 19:40:21 Created by robert_dodier on 2006-07-04 17:42:29 Original: https://sourceforge.net/p/maxima/bugs/303/#e29a
Logged In: YES user_id=501686
# and or not -- all handled by recent (circa Jan 2006) changes to src/mactex.lisp. Closing this report as fixed.
Imported from SourceForge on 2024-07-04 19:40:24 Created by robert_dodier on 2006-07-04 17:42:29 Original: https://sourceforge.net/p/maxima/bugs/303/#8bb0
Imported from SourceForge on 2024-07-04 19:40:16 Created by harder on 2003-04-25 23:59:54 Original: https://sourceforge.net/p/maxima/bugs/303
`tex' does not translate `and', `or', `not' and `#' to valid TeX expressions. Currently we get this:
tex('(a # b)); => $$a # b$$ tex('(a and b)); => $$a(\and)b$$ tex('(a or b)); => $$a(\or)b$$ tex('(not a)); => $$\not a$$
Which are all invalid.
`\not', `\and', `\or' and `#' should be replaced with `\neg', `\land', `\lor' and `\ne'. Additionally `or' and `and' should be tex-infix not tex-nary.
After applying the attached patch we get this:
tex('(a # b)); => $$a\ne b$$ tex('(a and b)); => $$a\land b$$ tex('(a or b)); => $$a(\lor )b$$ tex('(not a)); => $$\neg\,a$$
The parens in `or' still aren't quite right, but at least it's valid TeX.