GNU bug report logs -
#57626
13.1.4; cases* environment doesn't let me use $
Previous Next
Reported by: Wierdl Máté <wierdlmate <at> gmail.com>
Date: Tue, 6 Sep 2022 14:55:03 UTC
Severity: normal
Found in version 13.1.4
Done: Ikumi Keita <ikumi <at> ikumi.que.jp>
Bug is archived. No further changes may be made.
To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 57626 in the body.
You can then email your comments to 57626 AT debbugs.gnu.org in the normal way.
Toggle the display of automated, internal messages from the tracker.
Report forwarded
to
bug-auctex <at> gnu.org
:
bug#57626
; Package
auctex
.
(Tue, 06 Sep 2022 14:55:03 GMT)
Full text and
rfc822 format available.
Acknowledgement sent
to
Wierdl Máté <wierdlmate <at> gmail.com>
:
New bug report received and forwarded. Copy sent to
bug-auctex <at> gnu.org
.
(Tue, 06 Sep 2022 14:55:03 GMT)
Full text and
rfc822 format available.
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
[Message part 1 (text/plain, inline)]
In a cases* environment (from mathtools package), I try to enter math
mode in the "text column", but auctex doesn't let me enter a $.
So I have
\begin{equation}
\label{eq:240}
Tx=
\begin{dcases*}
1& if
\end{dcases*}
\end{equation}
and after "if" a I try to enter a formula, but auctex says in the
minibuffer
"Math mode started with ‘equation’ cannot be closed with dollar"
I should be able to enter a $ in text mode.
Thanks.
Emacs : GNU Emacs 28.1 (build 1, x86_64-redhat-linux-gnu, GTK+ Version
3.24.34, cairo version 1.17.6)
of 2022-07-15
Package: 13.1.4
current state:
==============
(setq
AUCTeX-date "2022-08-26"
window-system 'x
LaTeX-version "2e"
TeX-style-path '("~/.emacs.d/auctex"
"/home/apu/.emacs.d/elpa/auctex-13.1.4/style"
"/home/apu/.emacs.d/auctex/auto"
"/home/apu/.emacs.d/auctex/style" "auto" "style")
TeX-auto-save t
TeX-parse-self t
TeX-master "main"
TeX-command-list '(("TeX"
"%(PDF)%(tex) %(file-line-error) %`%(extraopts) %S%(PDFout)%(mode)%'
%(output-dir) %t"
TeX-run-TeX nil
(plain-tex-mode ams-tex-mode texinfo-mode) :help
"Run plain TeX")
("LaTeX" "%`%l%(mode)%' %T" TeX-run-TeX nil
(latex-mode doctex-mode) :help "Run LaTeX")
("Makeinfo" "makeinfo %(extraopts) %(o-dir) %t"
TeX-run-compile nil (texinfo-mode) :help
"Run Makeinfo with Info output")
("Makeinfo HTML"
"makeinfo %(extraopts) %(o-dir) --html %t"
TeX-run-compile nil (texinfo-mode) :help
"Run Makeinfo with HTML output")
("AmSTeX"
"amstex %(PDFout) %`%(extraopts) %S%(mode)%' %(output-dir) %t"
TeX-run-TeX nil (ams-tex-mode) :help "Run AMSTeX")
("ConTeXt"
"%(cntxcom) --once --texutil %(extraopts) %(execopts)%t"
TeX-run-TeX nil (context-mode) :help "Run ConTeXt once")
("ConTeXt Full" "%(cntxcom) %(extraopts) %(execopts)%t"
TeX-run-TeX nil (context-mode) :help
"Run ConTeXt until completion")
("BibTeX" "bibtex %(O?aux)" TeX-run-BibTeX nil
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode context-mode)
:help "Run BibTeX")
("Biber" "biber %(output-dir) %s" TeX-run-Biber nil
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Run Biber")
("Texindex" "texindex %s.??" TeX-run-command nil
(texinfo-mode) :help "Run Texindex")
("Texi2dvi" "%(PDF)texi2dvi %t" TeX-run-command nil
(texinfo-mode) :help "Run Texi2dvi or Texi2pdf")
("View" "%V" TeX-run-discard-or-function t t :help
"Run Viewer")
("Print" "%p" TeX-run-command t t :help "Print the file")
("Queue" "%q" TeX-run-background nil t :help
"View the printer queue" :visible TeX-queue-command)
("File" "%(o?)dvips %d -o %f " TeX-run-dvips t
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Generate PostScript file")
("Dvips" "%(o?)dvips %d -o %f " TeX-run-dvips nil
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Convert DVI file to PostScript")
("Dvipdfmx" "dvipdfmx -o %(O?pdf) %d" TeX-run-dvipdfmx nil
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Convert DVI file to PDF with dvipdfmx")
("Ps2pdf" "ps2pdf %f %(O?pdf)" TeX-run-ps2pdf nil
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Convert PostScript file to PDF")
("Glossaries" "makeglossaries %(d-dir) %s" TeX-run-command
nil
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Run makeglossaries to create glossary file")
("Index" "makeindex %(O?idx)" TeX-run-index nil
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Run makeindex to create index file")
("upMendex" "upmendex %(O?idx)" TeX-run-index t
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Run upmendex to create index file")
("Xindy" "texindy %s" TeX-run-command nil
(plain-tex-mode latex-mode doctex-mode ams-tex-mode
texinfo-mode)
:help "Run xindy to create index file")
("Check" "lacheck %s" TeX-run-compile nil (latex-mode)
:help "Check LaTeX file for correctness")
("ChkTeX" "chktex -v6 %s" TeX-run-compile nil (latex-mode)
:help "Check LaTeX file for common mistakes")
("Spell" "(TeX-ispell-document \"\")" TeX-run-function nil
t :help "Spell-check the document")
("Clean" "TeX-clean" TeX-run-function nil t :help
"Delete generated intermediate files")
("Clean All" "(TeX-clean t)" TeX-run-function nil t :help
"Delete generated intermediate and output files")
("Other" "" TeX-run-command t t :help
"Run an arbitrary command")
)
)
[Message part 2 (text/html, inline)]
Information forwarded
to
bug-auctex <at> gnu.org
:
bug#57626
; Package
auctex
.
(Wed, 07 Sep 2022 10:52:02 GMT)
Full text and
rfc822 format available.
Message #8 received at 57626 <at> debbugs.gnu.org (full text, mbox):
Hi Máté,
Wierdl Máté <wierdlmate <at> gmail.com> writes:
> In a cases* environment (from mathtools package), I try to enter math
> mode in the "text column", but auctex doesn't let me enter a $.
>
> So I have
>
> \begin{equation}
> \label{eq:240}
> Tx=
> \begin{dcases*}
> 1& if
> \end{dcases*}
> \end{equation}
>
> and after "if" a I try to enter a formula, but auctex says in the
> minibuffer
>
> "Math mode started with ‘equation’ cannot be closed with dollar"
>
> I should be able to enter a $ in text mode.
Thanks for the report. Can you please add the next 2 lines in your .tex
file and eval them, i.e., hit 'C-x C-e' after ')' and see if it then
works as expected?
(add-to-list 'texmathp-tex-commands '("dcases*" env-off) t)
(texmathp-compile)
I think this a corner case where half of a environment is math and the
other half text. AUCTeX thinks that the entire environment is math and
hence throws an error. I don't have a strong opinion about this, we can
add some entries like this to `texmathp-tex-commands-default':
("cases*" env-off)
("dcases*" env-off)
("rcases*" env-off)
("drcases*" env-off)
What do others think?
Best, Arash
Information forwarded
to
bug-auctex <at> gnu.org
:
bug#57626
; Package
auctex
.
(Wed, 07 Sep 2022 17:14:01 GMT)
Full text and
rfc822 format available.
Message #11 received at 57626 <at> debbugs.gnu.org (full text, mbox):
Hi Wierdl and Arash,
> Wierdl Máté <wierdlmate <at> gmail.com> writes:
>> \begin{equation}
>> \label{eq:240}
>> Tx=
>> \begin{dcases*}
>> 1& if
>> \end{dcases*}
>> \end{equation}
>>
>> and after "if" a I try to enter a formula, but auctex says in the
>> minibuffer
>>
>> "Math mode started with ‘equation’ cannot be closed with dollar"
>>
>> I should be able to enter a $ in text mode.
Ah, it's the same as https://tex.stackexchange.com/questions/578900/auctex-math-mode-started-with-cannot-be-closed-with-dollar-in-cases
...
As written there, temporal workaround is to type C-u $ or C-q $ to
insert "$" in such a case.
>>>>> Arash Esbati <arash <at> gnu.org> writes:
> I think this a corner case where half of a environment is math and the
> other half text. AUCTeX thinks that the entire environment is math and
> hence throws an error. I don't have a strong opinion about this, we can
> add some entries like this to `texmathp-tex-commands-default':
> ("cases*" env-off)
> ("dcases*" env-off)
> ("rcases*" env-off)
> ("drcases*" env-off)
> What do others think?
In my opinion, `TeX-insert-dollar' is too patriarchal in this case. The
intention of `texmathp' is apparently to be "practical enough", not
"precise". It sometimes by design gives false positives and false
negatives, which we should anticipate.
How about to allow insertion of "$" (or anything according to
`TeX-electric-math') when `last-command' is `TeX-insert-dollar' in a
case like this issue? I suppose that most users would type "$" again
before seeing "Math mode started with `...' cannot be closed with
dollar" when "$" is refused unexpectedly.
Regards,
Ikumi Keita
#StandWithUkraine #StopWarInUkraine
Information forwarded
to
bug-auctex <at> gnu.org
:
bug#57626
; Package
auctex
.
(Fri, 09 Sep 2022 09:45:02 GMT)
Full text and
rfc822 format available.
Message #14 received at 57626 <at> debbugs.gnu.org (full text, mbox):
Hi Keita,
Ikumi Keita <ikumi <at> ikumi.que.jp> writes:
> Ah, it's the same as
> https://tex.stackexchange.com/questions/578900/auctex-math-mode-started-with-cannot-be-closed-with-dollar-in-cases
> ...
> As written there, temporal workaround is to type C-u $ or C-q $ to
> insert "$" in such a case.
Ah, thanks for reminding me. The question sounded familiar to me :-)
>>>>>> Arash Esbati <arash <at> gnu.org> writes:
>> I think this a corner case where half of a environment is math and the
>> other half text. AUCTeX thinks that the entire environment is math and
>> hence throws an error. I don't have a strong opinion about this, we can
>> add some entries like this to `texmathp-tex-commands-default':
>
>> ("cases*" env-off)
>> ("dcases*" env-off)
>> ("rcases*" env-off)
>> ("drcases*" env-off)
>
>> What do others think?
>
> In my opinion, `TeX-insert-dollar' is too patriarchal in this case. The
> intention of `texmathp' is apparently to be "practical enough", not
> "precise". It sometimes by design gives false positives and false
> negatives, which we should anticipate.
>
> How about to allow insertion of "$" (or anything according to
> `TeX-electric-math') when `last-command' is `TeX-insert-dollar' in a
> case like this issue? I suppose that most users would type "$" again
> before seeing "Math mode started with `...' cannot be closed with
> dollar" when "$" is refused unexpectedly.
You mean in case a user says: "Dammit AUCTeX, I know what I'm doing,
insert what I type!" Checking `last-command' might be a solution, but
is it worth to introduce it where 'C-q <char>' is already available?
Now one could argue that " does the same in terms of insert `` first and
upon second invocation replace that with ", but I'm not sure $ should do
the same. But I don't have a strong opinion on this, if you think we
should change this, please go ahead :-)
Regardless of this, I think adding the cases entries above to
`texmathp-tex-commands-default' would make sense and cures the issue at
hand. WDYT?
Best, Arash
Information forwarded
to
bug-auctex <at> gnu.org
:
bug#57626
; Package
auctex
.
(Sat, 10 Sep 2022 06:42:02 GMT)
Full text and
rfc822 format available.
Message #17 received at 57626 <at> debbugs.gnu.org (full text, mbox):
Hi Arash,
>>>>> Arash Esbati <arash <at> gnu.org> writes:
> You mean in case a user says: "Dammit AUCTeX, I know what I'm doing,
> insert what I type!"
Rather, "What happened? Not sure, but I type $ again in case I actually
did something wrong instead of typing $ correctly." ;-)
> Now one could argue that " does the same in terms of insert `` first and
> upon second invocation replace that with ", but I'm not sure $ should do
> the same.
Hm, indeed.
>>> ("cases*" env-off)
>>> ("dcases*" env-off)
>>> ("rcases*" env-off)
>>> ("drcases*" env-off)
> Regardless of this, I think adding the cases entries above to
> `texmathp-tex-commands-default' would make sense and cures the issue at
> hand. WDYT?
I'm reluctant to take this approach. If `texmathp' regards the first
column of those envs as non-math, it invalidates math-mode aware
features such as automatic switching between \mathrm and \textrm for C-c
C-f C-r, providing {}-pair for "_" and "^" with non-nil
`TeX-electric-sub-and-superscript'.
Then, how about adding supplementary instruction to the message which
`TeX-insert-dollar' shows? For example,
Math mode started with `...' cannot be closed with dollar. You can
insert it anyway by C-q $.
Regards,
Ikumi Keita
#StandWithUkraine #StopWarInUkraine
Information forwarded
to
bug-auctex <at> gnu.org
:
bug#57626
; Package
auctex
.
(Sat, 10 Sep 2022 07:42:02 GMT)
Full text and
rfc822 format available.
Message #20 received at 57626 <at> debbugs.gnu.org (full text, mbox):
Hi Keita,
Ikumi Keita <ikumi <at> ikumi.que.jp> writes:
>>>>>> Arash Esbati <arash <at> gnu.org> writes:
>> You mean in case a user says: "Dammit AUCTeX, I know what I'm doing,
>> insert what I type!"
>
> Rather, "What happened? Not sure, but I type $ again in case I actually
> did something wrong instead of typing $ correctly." ;-)
That seems to be a different user from the one I meant ;-)
>> Regardless of this, I think adding the cases entries above to
>> `texmathp-tex-commands-default' would make sense and cures the issue at
>> hand. WDYT?
>
> I'm reluctant to take this approach. If `texmathp' regards the first
> column of those envs as non-math, it invalidates math-mode aware
> features such as automatic switching between \mathrm and \textrm for C-c
> C-f C-r, providing {}-pair for "_" and "^" with non-nil
> `TeX-electric-sub-and-superscript'.
Yes, one side of the cases will suffer.
> Then, how about adding supplementary instruction to the message which
> `TeX-insert-dollar' shows? For example,
> Math mode started with `...' cannot be closed with dollar. You can
> insert it anyway by C-q $.
I'd suggest to say "You can insert it anyway by C-u $" which is more in
line with the docstring of `TeX-insert-dollar'. Does it make sense?
Best, Arash
Information forwarded
to
bug-auctex <at> gnu.org
:
bug#57626
; Package
auctex
.
(Sat, 10 Sep 2022 08:52:02 GMT)
Full text and
rfc822 format available.
Message #23 received at 57626 <at> debbugs.gnu.org (full text, mbox):
>>>>> Arash Esbati <arash <at> gnu.org> writes:
>> Then, how about adding supplementary instruction to the message which
>> `TeX-insert-dollar' shows? For example,
>> Math mode started with `...' cannot be closed with dollar. You can
>> insert it anyway by C-q $.
> I'd suggest to say "You can insert it anyway by C-u $" which is more in
> line with the docstring of `TeX-insert-dollar'. Does it make sense?
Yes, of course.
Bye,
Ikumi Keita
#StandWithUkraine #StopWarInUkraine
Information forwarded
to
bug-auctex <at> gnu.org
:
bug#57626
; Package
auctex
.
(Sat, 10 Sep 2022 18:11:01 GMT)
Full text and
rfc822 format available.
Message #26 received at submit <at> debbugs.gnu.org (full text, mbox):
[Message part 1 (text/plain, inline)]
Hi, thank you for dealing with this. The suggested C-q works fine for me.
I think it adds to the discussion that while AUCTeX prevents me from
entering "$", it happily allows me to enter the equivalent "\(" in an
equation environment. I just did it:
\begin{equation}
\label{eq:1}
\(kkk\)
\end{equation}
This could be another workaround.
In my opinion (just a longtime user's opinion), this direction of "let us
prevent the user from making a mistake as he types" doesn't seem essential,
and it apparently leads to serious complications in implementation. A
user can be really creative in making stupid mistakes but we do not expect
AUCTeX to prevent us from making them. One error I repeatedly make is
enter an equation environment in align (this is because I leave the cursor
at the wrong place when typing "C-c C-e"). AUCTeX lets me do similar stuff:
\begin{equation}
\label{eq:1}
\(kkk\)
\begin{equation}
\label{eq:2}
\end{equation}
\end{equation}
It is similar in my mind to autocorrect on a cell phone where I enter
something and autocorrect sends a different message.
Having said that, I emphasize that AUCTeX is fantastic, and I have been
using it in my work for decades.
Máté
Ikumi Keita <ikumi <at> ikumi.que.jp> ezt írta (időpont: 2022. szept. 10., Szo,
3:51):
>
> >>>>> Arash Esbati <arash <at> gnu.org> writes:
> >> Then, how about adding supplementary instruction to the message which
> >> `TeX-insert-dollar' shows? For example,
> >> Math mode started with `...' cannot be closed with dollar. You can
> >> insert it anyway by C-q $.
>
> > I'd suggest to say "You can insert it anyway by C-u $" which is more in
> > line with the docstring of `TeX-insert-dollar'. Does it make sense?
>
> Yes, of course.
>
> Bye,
> Ikumi Keita
> #StandWithUkraine #StopWarInUkraine
[Message part 2 (text/html, inline)]
Information forwarded
to
bug-auctex <at> gnu.org
:
bug#57626
; Package
auctex
.
(Mon, 12 Sep 2022 08:32:01 GMT)
Full text and
rfc822 format available.
Message #29 received at 57626 <at> debbugs.gnu.org (full text, mbox):
>>>>> Wierdl Máté <wierdlmate <at> gmail.com> writes:
> In my opinion (just a longtime user's opinion), this direction of "let us
> prevent the user from making a mistake as he types" doesn't seem essential,
I feel similarly.
I began to think that `TeX-insert-dollar' should behave the same way as
in non-math mode when `texmathp' thinks that math mode didn't start with
dollar(s), possibly with a warning message.
What do others think?
Best,
Ikumi Keita
#StandWithUkraine #StopWarInUkraine
Information forwarded
to
bug-auctex <at> gnu.org
:
bug#57626
; Package
auctex
.
(Wed, 14 Sep 2022 07:42:02 GMT)
Full text and
rfc822 format available.
Message #32 received at 57626 <at> debbugs.gnu.org (full text, mbox):
Hi Keita,
Ikumi Keita <ikumi <at> ikumi.que.jp> writes:
>>>>>> Wierdl Máté <wierdlmate <at> gmail.com> writes:
>> In my opinion (just a longtime user's opinion), this direction of "let us
>> prevent the user from making a mistake as he types" doesn't seem essential,
>
> I feel similarly.
>
> I began to think that `TeX-insert-dollar' should behave the same way as
> in non-math mode when `texmathp' thinks that math mode didn't start with
> dollar(s), possibly with a warning message.
Sure, we can relax the behavior of `TeX-insert-dollar', I don't object.
Would it make sense to introduce a custom variable for this?
Best, Arash
Information forwarded
to
bug-auctex <at> gnu.org
:
bug#57626
; Package
auctex
.
(Wed, 14 Sep 2022 17:11:02 GMT)
Full text and
rfc822 format available.
Message #35 received at 57626 <at> debbugs.gnu.org (full text, mbox):
Hi Arash,
>>>>> Arash Esbati <arash <at> gnu.org> writes:
> Ikumi Keita <ikumi <at> ikumi.que.jp> writes:
>> I began to think that `TeX-insert-dollar' should behave the same way as
>> in non-math mode when `texmathp' thinks that math mode didn't start with
>> dollar(s), possibly with a warning message.
> Sure, we can relax the behavior of `TeX-insert-dollar', I don't object.
> Would it make sense to introduce a custom variable for this?
That's a reasonable idea. I'll work on this issue along that line.
However, it may take some time since I don't have much spare time now.
Best,
Ikumi Keita
#StandWithUkraine #StopWarInUkraine
Information forwarded
to
bug-auctex <at> gnu.org
:
bug#57626
; Package
auctex
.
(Thu, 15 Sep 2022 08:27:01 GMT)
Full text and
rfc822 format available.
Message #38 received at 57626 <at> debbugs.gnu.org (full text, mbox):
Ikumi Keita <ikumi <at> ikumi.que.jp> writes:
> That's a reasonable idea. I'll work on this issue along that line.
> However, it may take some time since I don't have much spare time now.
Thanks. And take your time, I don't think we're in a rush here. And
while're you're thinking about it, maybe you also want to think about
bug#57516 ;-)
Best, Arash
Information forwarded
to
bug-auctex <at> gnu.org
:
bug#57626
; Package
auctex
.
(Tue, 01 Nov 2022 17:38:02 GMT)
Full text and
rfc822 format available.
Message #41 received at 57626 <at> debbugs.gnu.org (full text, mbox):
>>>>> Ikumi Keita <ikumi <at> ikumi.que.jp> writes:
>>> I began to think that `TeX-insert-dollar' should behave the same way as
>>> in non-math mode when `texmathp' thinks that math mode didn't start with
>>> dollar(s), possibly with a warning message.
>> Sure, we can relax the behavior of `TeX-insert-dollar', I don't object.
>> Would it make sense to introduce a custom variable for this?
> That's a reasonable idea. I'll work on this issue along that line.
> However, it may take some time since I don't have much spare time now.
I pushed partial fix for this issue. I haven't implemented the proposed
new user option yet.
Regards,
Ikumi Keita
#StandWithUkraine #StopWarInUkraine
Information forwarded
to
bug-auctex <at> gnu.org
:
bug#57626
; Package
auctex
.
(Fri, 04 Nov 2022 15:59:01 GMT)
Full text and
rfc822 format available.
Message #44 received at 57626 <at> debbugs.gnu.org (full text, mbox):
>>>>> Ikumi Keita <ikumi <at> ikumi.que.jp> writes:
>>>> I began to think that `TeX-insert-dollar' should behave the same way as
>>>> in non-math mode when `texmathp' thinks that math mode didn't start with
>>>> dollar(s), possibly with a warning message.
>>> Sure, we can relax the behavior of `TeX-insert-dollar', I don't object.
>>> Would it make sense to introduce a custom variable for this?
>> That's a reasonable idea. I'll work on this issue along that line.
>> However, it may take some time since I don't have much spare time now.
> I pushed partial fix for this issue. I haven't implemented the proposed
> new user option yet.
Now I've added the new customize option. I'll close this bug.
Cheers,
Ikumi Keita
#StandWithUkraine #StopWarInUkraine
bug closed, send any further explanations to
57626 <at> debbugs.gnu.org and Wierdl Máté <wierdlmate <at> gmail.com>
Request was from
Ikumi Keita <ikumi <at> ikumi.que.jp>
to
control <at> debbugs.gnu.org
.
(Fri, 04 Nov 2022 15:59:02 GMT)
Full text and
rfc822 format available.
bug archived.
Request was from
Debbugs Internal Request <help-debbugs <at> gnu.org>
to
internal_control <at> debbugs.gnu.org
.
(Sat, 03 Dec 2022 12:24:07 GMT)
Full text and
rfc822 format available.
This bug report was last modified 1 year and 137 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.