Path: ...!fu-berlin.de!uni-berlin.de!not-for-mail From: ram@zedat.fu-berlin.de (Stefan Ram) Newsgroups: comp.lang.lisp Subject: Re: infix via code walker hook. Date: 5 Apr 2025 07:26:42 GMT Organization: Stefan Ram Lines: 25 Expires: 1 Mar 2026 11:59:58 GMT Message-ID: References: <20250331141507.905@kylheku.com> <20250401201007.528@kylheku.com> <20250403192220.35@kylheku.com> <20250404112007.58@kylheku.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Trace: news.uni-berlin.de Ohyk7CfLVLoQJHTs2JyP3gVmjWE17lbAaalKpisDdHwSsy Cancel-Lock: sha1:l6R19XqCYLN8PVXEjPmPspnNdMk= sha256:H8fOHLMhQvfRVig81n9ZEK+9S0t4Q32Xz5wrTnV2fus= X-Copyright: (C) Copyright 2025 Stefan Ram. All rights reserved. Distribution through any means other than regular usenet channels is forbidden. It is forbidden to publish this article in the Web, to change URIs of this article into links, and to transfer the body without this notice, but quotations of parts in other Usenet posts are allowed. X-No-Archive: Yes Archive: no X-No-Archive-Readme: "X-No-Archive" is set, because this prevents some services to mirror the article in the web. But the article may be kept on a Usenet archive server with only NNTP access. X-No-Html: yes Content-Language: en-US Bytes: 2705 Stefan Monnier wrote or quoted: >>sin a + b + c + sin d + e + f >Well, now you're falling into the world of heuristics to try and handle >the inconsistent mix of rules used by various authors. >You're obviously free to go there, but don't count me in. Languages such as "AsciiMath" or "AsciiMathML" have been created to deal with such notations, and there is software available to convert them to LaTeX or MathML. In one case, a double space was made significant, to resolve some ambiguities as in "sin a/2", in which the "/" now binds stronger than the sin, different from "sin a/2". The implementation of ASCIIMathML is somewhat elegant insofar as some ambiguities are not resolved but just passed on to LaTeX or MathML as they are. The input is not actually parsed into an AST that represents the actual structure of the expression as it would be parsed by a parser for a programming language. And some implementations take care to handle /ungrammatical/ math because it could be needed in a text book to show what makes no sense. For example, input such as "sin sin sin" is handled too.