From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 7gJiAZ5AVmFgcQEAgWs5BA (envelope-from ) for ; Fri, 01 Oct 2021 00:56:30 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id KAcCOJ1AVmFXYgAAB5/wlQ (envelope-from ) for ; Thu, 30 Sep 2021 22:56:29 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 8EA812D028 for ; Fri, 1 Oct 2021 00:56:29 +0200 (CEST) Received: from localhost ([::1]:34518 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mW4yZ-0006YX-Vk for larch@yhetil.org; Thu, 30 Sep 2021 18:56:27 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:55028) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mW4y0-0006Y9-Un for emacs-orgmode@gnu.org; Thu, 30 Sep 2021 18:55:52 -0400 Received: from relay8-d.mail.gandi.net ([217.70.183.201]:47951) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mW4xl-00069Z-BB for emacs-orgmode@gnu.org; Thu, 30 Sep 2021 18:55:52 -0400 Received: (Authenticated sender: admin@nicolasgoaziou.fr) by relay8-d.mail.gandi.net (Postfix) with ESMTPSA id AAC4F1BF203; Thu, 30 Sep 2021 22:55:31 +0000 (UTC) From: Nicolas Goaziou To: Timothy Subject: Re: [PATCH] Don't fill displayed equations References: <87czoq7z3p.fsf@gmail.com> <87tui1ew1o.fsf@nicolasgoaziou.fr> <871r5599j7.fsf@gmail.com> <87pmspevjy.fsf@nicolasgoaziou.fr> <87bl49kca3.fsf@gmail.com> Date: Fri, 01 Oct 2021 00:55:30 +0200 In-Reply-To: <87bl49kca3.fsf@gmail.com> (Timothy's message of "Fri, 01 Oct 2021 04:45:42 +0800") Message-ID: <87ee95ekrh.fsf@nicolasgoaziou.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=217.70.183.201; envelope-from=mail@nicolasgoaziou.fr; helo=relay8-d.mail.gandi.net X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_PASS=-0.001, T_SPF_HELO_TEMPERROR=0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-orgmode@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Org Mode List Errors-To: emacs-orgmode-bounces+larch=yhetil.org@gnu.org Sender: "Emacs-orgmode" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1633042589; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post; bh=A5p311syLc5ZOIAiBRFrW83WCa8hkuDbQ81s55z+h2I=; b=Jo49MWXn4vrYCpSNa5K8+mSQs3eMGbO1JMd4mASUKTfzd7WOtM5WXALL1PaxY6Ko1/vMck JLa5zrkIgjgQKreJ54SnjOarA6Uk4KYXHj1Qo73Lu/RiZ2ioPaMgYeOl1WYMBujFfnfP1P WVRKpQCO/I95RADRbvkl630FtJXEjKEb1iVthqxMxldVt3FDz3rJ1ymbcZdgA/m09l9Bq5 N22i+LmSwSEgdg+OB9M7ntDfJyx/XRliHQ2hkecf8tZje884KvxJIAARAgJMRNB3nB3p6G 1KDIOj/ULL3eNVn03H6fENidIOAiQBzqhBNjJ/hy6y/auCtmcxuAL9a9L5cNTA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1633042589; a=rsa-sha256; cv=none; b=g7sJoRQ6/GaXGbgNfhfwHQ/TmswsQKWik0UJGqJpaC8MR6oqIW+5sMsLPwW2pfyjnRTDr9 WR8XMQfxqdbBSSffGksmUrp+BrFmEcHeQ1PJqxtQiQ7nWxyG9+2ma7JINhoSIND9FBaGKk W0HPJr20hLZIWcyYTjqbmmTeRuQL0WXAS564XoNzmOUMGUJx1QPZ8yC3GYu7OuYsRMZlcv QRb1fLPCrj+5Fvpb2H5Jnp/bYWj05xtRSCq6cBKp2cjm3QrYAL0FYPjBYRtuGT84DKd3lN jex+zBkJvMSC+AMUTdlJPmvfSWvd5hMpMpoPUlITD4eJDw1YuzPbMHhNvy5JnQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; spf=pass (aspmx1.migadu.com: domain of emacs-orgmode-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=emacs-orgmode-bounces@gnu.org X-Migadu-Spam-Score: -2.90 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of emacs-orgmode-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=emacs-orgmode-bounces@gnu.org X-Migadu-Queue-Id: 8EA812D028 X-Spam-Score: -2.90 X-Migadu-Scanner: scn1.migadu.com X-TUID: zbpWkQttO+S4 Timothy writes: > I think there are also some relevant points which I haven=E2=80=99t menti= oned so far, > separate from my thoughts that since we=E2=80=99re using the LaTeX syntax= we should be > consistent with how LaTeX treats this. I'm not convinced about this. I don't think it is even possible. >> As I wrote above, they do not belong to the same category of syntax. >> There=E2=80=99s no reason to special case .... > > I think we already do special-case `\[ ... \]' somewhat. When refer to in= line > elements like bold, verbatim, italic, etc. they sit in the text. Semantic= ally, > this doesn=E2=80=99t hold for `\[ ... \]' either. The semantically inline= maths element is > `\( ... \)'. Considering other =E2=80=9Cinline=E2=80=9D syntax elements, = like bold, verbatim, > italic, etc. if you spread the delimiters across multiple lines that does= n=E2=80=99t > work. So I=E2=80=99d argue the ship has already sailed on treating `\[ ..= . \]' differently > to other inline elements. I'm not sure about what you mean. \[...\] is no different than, e.g., verbatim. It's an inline element, with all that it implies. Now, if you want to discuss changing syntax for \[...\] and make it a block element, you can of course do it to your heart's content (it has been discussed already in this ML and I don't have an opinion on the subject), but please don't make filling do bizarre things (not all Org users use LaTeX or even like LaTeXisms), just because LaTeX modes behave differently. > If you=E2=80=99re wondering why I=E2=80=99m so opposed to the current beh= aviour, that is probably > best explained by a more realistic demo that what I have in the commit me= ssage. > > =E2=94=8C=E2=94=80=E2=94=80=E2=94=80=E2=94=80 > =E2=94=82 Since \(\cos\) is an even function, we can negate the numerator= of the argument > =E2=94=82 without changing the result, giving > =E2=94=82 \[ > =E2=94=82 \cos \left( \pi \frac{C_1-x}{2C_1+D} \right) \ , \quad C_1 = =3D \frac{D}{2}. > =E2=94=82 \] > =E2=94=82 this will be positive over \(x \in (0,D)\), and so we can rewri= te \(\tilde{y}\) as, > =E2=94=82 \[ > =E2=94=82 \tilde{y}(x) =3D \frac{2D}{\pi} \log \cos \left( \pi \frac{\f= rac{D}{2}-x}{2D} \right) + C_2. > =E2=94=82 \] > =E2=94=82 Once again considering that \(y(0)=3Dy(D)=3D0\), it is clear th= at > =E2=94=82 \[ > =E2=94=82 C_2 =3D - \frac{2D}{\pi} \log \cos \left( \frac{\pi}{4} \righ= t) =3D - \frac{2D}{\pi} \log 2^{-\frac{1}{2}} =3D \frac{D}{\pi} \log 2. > =E2=94=82 \] > =E2=94=82 The complete solution for \(\tilde{y}\) is hence, > =E2=94=82 \[ > =E2=94=82 \tilde{y} =3D \frac{2D}{\pi} \log \cos \left( \pi \frac{D-2x}= {4D} \right) + \frac{D}{\pi} \log 2. > =E2=94=82 \] > =E2=94=94=E2=94=80=E2=94=80=E2=94=80=E2=94=80 In every case above, you can already use \begin{equation*}...\end{equation*}, so I don't see the point. You already have all you need without breaking filling function for the rest of us. > Basically, this leads to a worse experience when using Org in what > I would think to be a perfectly reasonably way. I don't think it is a worse experience, unless you apply expectations from LaTeX to Org. It just doesn't work. Notwithstanding filling behaviour, \[...\] in Org is much more limited than \[...\] in LaTeX. They just happen to use the same syntax for convenience in simple cases. The same holds for, e.g., LaTeX commands. To put it differently, you cannot just paste some LaTeX code in an Org buffer and expect Org to properly deal with it. But that's fine. If you need to write or copy "advanced" LaTeX code, Org provides dedicated environments. Regards,