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: <AsciMath-20250405082521@ram.dialup.fu-berlin.de>
References: <20250331141507.905@kylheku.com> <20250401201007.528@kylheku.com> <20250403192220.35@kylheku.com> <jwvldsfrecv.fsf-monnier+comp.lang.lisp@gnu.org> <20250404112007.58@kylheku.com> <jwv4iz3r7rm.fsf-monnier+comp.lang.lisp@gnu.org>
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 <monnier@iro.umontreal.ca> 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.