From unknown Sun Jun 22 07:45:39 2025 X-Loop: help-debbugs@gnu.org Subject: bug#22361: 11.89; No completion of \implies or \iff math symbols Resent-From: Aiko Kyle Original-Sender: "Debbugs-submit" Resent-CC: bug-auctex@gnu.org Resent-Date: Wed, 13 Jan 2016 07:25:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 22361 X-GNU-PR-Package: auctex X-GNU-PR-Keywords: To: 22361@debbugs.gnu.org X-Debbugs-Original-To: bug-auctex@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.145266984413515 (code B ref -1); Wed, 13 Jan 2016 07:25:02 +0000 Received: (at submit) by debbugs.gnu.org; 13 Jan 2016 07:24:04 +0000 Received: from localhost ([127.0.0.1]:47777 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aJFml-0003Vv-PO for submit@debbugs.gnu.org; Wed, 13 Jan 2016 02:24:04 -0500 Received: from eggs.gnu.org ([208.118.235.92]:33759) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aJCZk-00073g-70 for submit@debbugs.gnu.org; Tue, 12 Jan 2016 22:58:24 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aJCZb-0002ba-Rr for submit@debbugs.gnu.org; Tue, 12 Jan 2016 22:58:19 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM, HTML_MESSAGE,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:60430) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aJCZb-0002bR-Oj for submit@debbugs.gnu.org; Tue, 12 Jan 2016 22:58:15 -0500 Received: from eggs.gnu.org ([208.118.235.92]:45818) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aJCZa-00019G-C9 for bug-auctex@gnu.org; Tue, 12 Jan 2016 22:58:15 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aJCZY-0002aE-Ep for bug-auctex@gnu.org; Tue, 12 Jan 2016 22:58:14 -0500 Received: from mail-vk0-x236.google.com ([2607:f8b0:400c:c05::236]:33868) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aJCZY-0002a4-9h for bug-auctex@gnu.org; Tue, 12 Jan 2016 22:58:12 -0500 Received: by mail-vk0-x236.google.com with SMTP id a123so224497077vkh.1 for ; Tue, 12 Jan 2016 19:58:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=h8HCR6bbremO/mgzNA/2Y9/JrZZUyZhUCyjeZ0F9Ck0=; b=Lj4BD5BeevAb1Y7uKSH/pm/tOlW39yK/SiIWCYB1D/O1StZ9EUDtwXxL+jBnIG0FMS kCVMG/Y703uZda18mKL+ZszHLZG97ggzwbmYd9HnnQpNg3bma9/bHFFGXbDnR64NSdu+ mfR0wQQW5LshIdydKz20C6/AzQuTiuIUWWFIvUDU0nuU0/H7UpT868CGsM2rEueKE7/j NEBRLjTtLgWhbrvBxEzJZa1ojCG+eBYtnU8JQxbrEd2ssbEQ9jYu4qHuWE78+WwDJ0y+ hL5QDFw6+jeKD6d7TJZ4V5QwC9CpT5kBt08xMLDVGTiafyXe/JV2ONIg7VlEsIkNpd9q QEOQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to :content-type; bh=h8HCR6bbremO/mgzNA/2Y9/JrZZUyZhUCyjeZ0F9Ck0=; b=Y650aPs+8V/eE2rGep9VvAsvZxspVNHRZjLGbOiS5V4qmxEYAwVSJ+cV92L/PmtZ+J EZLMgA3LVlKlATJ/8Q8dp0+WvsJP86/TEvJNhnnw5caQ7OC7YCrw9/4L+PAi0fnigutT kVYW3qqWNzZ6VovEggrE7lSCQ7uUB9wfyyo5JtcQRsJ8f15IvfVt5/PujI+19FkXBp8H j2Z4tSqTWpZEFuLNrd9pJTK5iyOnNZfL+dMm3vBWE/hqdOkrg79UMj0On0zr9wzF457V tEFnix79UJKfPq40SJ9zWDxMrUBatre9g+O2mDv67Uuf+OBB5fCRfZ2zy2MSPHiacb9s qeyw== X-Gm-Message-State: ALoCoQl8jhWTUTihxg+esNyDS4UksBSb9Lg4iB77apVXuWToCnfvKscayz69qcEjlPoyKX57tVOjc33yGl9Bdk+1pp4OXignZQ== MIME-Version: 1.0 X-Received: by 10.31.58.193 with SMTP id h184mr95875682vka.9.1452657491057; Tue, 12 Jan 2016 19:58:11 -0800 (PST) Received: by 10.31.6.1 with HTTP; Tue, 12 Jan 2016 19:58:11 -0800 (PST) Date: Tue, 12 Jan 2016 20:58:11 -0700 Message-ID: From: Aiko Kyle Content-Type: multipart/alternative; boundary=001a1143ff70bc243805292f2d42 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Mailman-Approved-At: Wed, 13 Jan 2016 02:24:03 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.0 (----) --001a1143ff70bc243805292f2d42 Content-Type: text/plain; charset=UTF-8 Hi, I use company-auctex for completion of latex symbols and I noticed that while \Longrightarrow \Longleftrightarrow are completed, \imples and \iff are not completed. I checked company-auctex's source and I believe it ultimately gets these completions from the LaTeX-math-default symbol defined in latex.el. I was hoping that \implies and \iff could be added to LaTeX-math-default so that it would be possible to get these as possible canidates for completion. Thanks! Emacs : GNU Emacs 24.5.1 (x86_64-apple-darwin13.4.0, NS apple-appkit-1265.21) of 2015-04-10 on builder10-9.porkrind.org Package: 11.89 current state: ============== (setq AUCTeX-date "2015-11-13" window-system 'ns LaTeX-version "2e" TeX-style-path '("/usr/local/var/auctex" "/Users/akyle/.emacs.d/elpa/auctex-11.89/style" "/Users/akyle/.emacs.d/auctex/auto" "/Users/akyle/.emacs.d/auctex/style" "auto" "style") TeX-auto-save nil TeX-parse-self t TeX-master t TeX-command-list '(("TeX" "%(PDF)%(tex) %(file-line-error) %(extraopts) %`%S%(PDFout)%(mode)%' %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) %t" TeX-run-compile nil (texinfo-mode) :help "Run Makeinfo with Info output") ("Makeinfo HTML" "makeinfo %(extraopts) --html %t" TeX-run-compile nil (texinfo-mode) :help "Run Makeinfo with HTML output") ("AmSTeX" "amstex %(PDFout) %(extraopts) %`%S%(mode)%' %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 %s" TeX-run-BibTeX nil t :help "Run BibTeX") ("Biber" "biber %s" TeX-run-Biber nil t :help "Run Biber") ("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 t :help "Generate PostScript file") ("Dvips" "%(o?)dvips %d -o %f " TeX-run-dvips nil t :help "Convert DVI file to PostScript") ("Ps2pdf" "ps2pdf %f" TeX-run-ps2pdf nil t :help "Convert PostScript file to PDF") ("Index" "makeindex %s" TeX-run-index nil t :help "Run makeindex to create index file") ("Xindy" "texindy %s" TeX-run-command nil t :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")) ) --001a1143ff70bc243805292f2d42 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi,

I use company-auctex= for completion of latex symbols and I noticed that
while \Longri= ghtarrow \Longleftrightarrow are completed, \imples and
\iff are = not completed. I checked company-auctex's source and I believe
it ultimately gets these completions from the LaTeX-math-default
symbol defined in latex.el. I was hoping that \implies and \iff could be<= /div>
added to LaTeX-math-default so that it would be possible to get t= hese as
possible canidates for completion.

Thanks!

Emacs =C2=A0: GNU Emacs 24.5.1 (x86_64-= apple-darwin13.4.0, NS apple-appkit-1265.21)
=C2=A0of 2015-04-10 = on builder10-9.porkrind.org=
Package: 11.89

current state:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
(setq
=C2= =A0AUCTeX-date "2015-11-13"
=C2=A0window-system 'ns=
=C2=A0LaTeX-version "2e"
=C2=A0TeX-style-pat= h '("/usr/local/var/auctex" "/Users/akyle/.emacs.d/elpa/= auctex-11.89/style"
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 "/Users/akyle/.emacs.d/auctex/auto" &quo= t;/Users/akyle/.emacs.d/auctex/style" "auto"
=C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 "style&quo= t;)
=C2=A0TeX-auto-save nil
=C2=A0TeX-parse-self t
=C2=A0TeX-master t
=C2=A0TeX-command-list '(("TeX&= quot;
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0"%(PDF)%(tex) %(file-line-error) %(extraopts) %`%S%(P= DFout)%(mode)%' %t"
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0TeX-run-TeX nil (plain-tex-mode am= s-tex-mode texinfo-mode) :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0"Run plain TeX")
<= div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (= "LaTeX" "%`%l%(mode)%' %t" TeX-run-TeX nil (latex-m= ode doctex-mode) :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0"Run LaTeX")
=C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("Makei= nfo" "makeinfo %(extraopts) %t" TeX-run-compile nil (texinfo= -mode)
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0:help "Run Makeinfo with Info output")
<= div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (= "Makeinfo HTML" "makeinfo %(extraopts) --html %t" TeX-r= un-compile nil
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0(texinfo-mode) :help "Run Makeinfo with HTM= L output")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 ("AmSTeX" "amstex %(PDFout) %(extraopts= ) %`%S%(mode)%' %t" TeX-run-TeX nil
=C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(ams-tex-mode) :hel= p "Run AMSTeX")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("ConTeXt" "%(cntxcom) --onc= e --texutil %(extraopts) %(execopts)%t"
=C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0TeX-run-TeX nil (co= ntext-mode) :help "Run ConTeXt once")
=C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("ConTeXt Full&qu= ot; "%(cntxcom) %(extraopts) %(execopts)%t" TeX-run-TeX nil
=
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0(context-mode) :help "Run ConTeXt until completion")
<= div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (= "BibTeX" "bibtex %s" TeX-run-BibTeX nil t :help "R= un BibTeX")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 ("Biber" "biber %s" TeX-run-Biber= nil t :help "Run Biber")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("View" "%V" = TeX-run-discard-or-function t t :help "Run Viewer")
=C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("P= rint" "%p" TeX-run-command t t :help "Print the file&qu= ot;)
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 ("Queue" "%q" TeX-run-background nil t :help= "View the printer queue" :visible
=C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0TeX-queue-command)<= /div>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 ("File" "%(o?)dvips %d -o %f " TeX-run-dvips t t= :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0"Generate PostScript file")
=C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("Dvips= " "%(o?)dvips %d -o %f " TeX-run-dvips nil t :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0"Convert DVI file to PostScript")
=C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("Ps2pdf" &q= uot;ps2pdf %f" TeX-run-ps2pdf nil t :help
=C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0"Convert Po= stScript file to PDF")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("Index" "makeindex %s&qu= ot; TeX-run-index nil t :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0"Run makeindex to create inde= x file")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 ("Xindy" "texindy %s" TeX-run-comm= and nil t :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0"Run xindy to create index file")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= ("Check" "lacheck %s" TeX-run-compile nil (latex-mode)= :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0"Check LaTeX file for correctness")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (&qu= ot;ChkTeX" "chktex -v6 %s" TeX-run-compile nil (latex-mode) = :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0"Check LaTeX file for common mistakes")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (&q= uot;Spell" "(TeX-ispell-document \"\")" TeX-run-fu= nction nil t :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0"Spell-check the document")
<= div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (= "Clean" "TeX-clean" TeX-run-function nil t :help<= div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0"Delete generated intermediate files")
=C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("Clean Al= l" "(TeX-clean t)" TeX-run-function nil t :help
= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0"Delete generated intermediate and output files")
= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (&quo= t;Other" "" TeX-run-command t t :help "Run an arbitrary= command"))
=C2=A0)

--001a1143ff70bc243805292f2d42-- From unknown Sun Jun 22 07:45:39 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Aiko Kyle Subject: bug#22361: closed (Re: bug#22361: 11.89; No completion of \implies or \iff math symbols) Message-ID: References: X-Gnu-PR-Message: they-closed 22361 X-Gnu-PR-Package: auctex Reply-To: 22361@debbugs.gnu.org Date: Sun, 17 Jan 2016 15:21:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1453044062-28849-1" This is a multi-part message in MIME format... ------------=_1453044062-28849-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #22361: 11.89; No completion of \implies or \iff math symbols which was filed against the auctex package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 22361@debbugs.gnu.org. --=20 22361: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D22361 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1453044062-28849-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 22361-done) by debbugs.gnu.org; 17 Jan 2016 15:20:52 +0000 Received: from localhost ([127.0.0.1]:51990 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aKp8O-0007Un-18 for submit@debbugs.gnu.org; Sun, 17 Jan 2016 10:20:52 -0500 Received: from eggs.gnu.org ([208.118.235.92]:53156) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aKp8M-0007Ua-3B for 22361-done@debbugs.gnu.org; Sun, 17 Jan 2016 10:20:50 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aKp8D-0003QZ-0E for 22361-done@debbugs.gnu.org; Sun, 17 Jan 2016 10:20:45 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:59056) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aKp8C-0003QF-T8 for 22361-done@debbugs.gnu.org; Sun, 17 Jan 2016 10:20:40 -0500 Received: from mail-wm0-f41.google.com ([74.125.82.41]:38526) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_ARCFOUR_SHA1:128) (Exim 4.82) (envelope-from ) id 1aKp8C-0005vH-CU for 22361-done@debbugs.gnu.org; Sun, 17 Jan 2016 10:20:40 -0500 Received: by mail-wm0-f41.google.com with SMTP id b14so88845397wmb.1 for <22361-done@debbugs.gnu.org>; Sun, 17 Jan 2016 07:20:40 -0800 (PST) X-Gm-Message-State: AG10YOQhIc1jzNLLO6pRMDtG3Fd0WBmpBerc0jBtVQ32r0cdNW8RuIQfd8DKPcorNwmXx15JqlEEoFkpxw8t3w== X-Received: by 10.28.23.5 with SMTP id 5mr8849678wmx.82.1453044039394; Sun, 17 Jan 2016 07:20:39 -0800 (PST) MIME-Version: 1.0 Received: by 10.28.156.70 with HTTP; Sun, 17 Jan 2016 07:19:59 -0800 (PST) In-Reply-To: References: From: =?UTF-8?Q?Mos=C3=A8_Giordano?= Date: Sun, 17 Jan 2016 16:19:59 +0100 X-Gmail-Original-Message-ID: Message-ID: Subject: Re: bug#22361: 11.89; No completion of \implies or \iff math symbols To: Aiko Kyle Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 22361-done Cc: 22361-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) Hi Aiko, 2016-01-13 4:58 GMT+01:00 Aiko Kyle : > Hi, > > I use company-auctex for completion of latex symbols and I noticed that > while \Longrightarrow \Longleftrightarrow are completed, \imples and > \iff are not completed. I checked company-auctex's source and I believe > it ultimately gets these completions from the LaTeX-math-default > symbol defined in latex.el. I was hoping that \implies and \iff could be > added to LaTeX-math-default so that it would be possible to get these as > possible canidates for completion. I don't know if company-auctex is aware of it, but in general you can add custom mathematical symbols to `LaTeX-math-list'. Anyway, the arrows you suggested are standard AMS symbols, thus I added them to `LaTeX-math-default'. Thanks for your help! Bye, Mos=C3=A8 ------------=_1453044062-28849-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 13 Jan 2016 07:24:04 +0000 Received: from localhost ([127.0.0.1]:47777 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aJFml-0003Vv-PO for submit@debbugs.gnu.org; Wed, 13 Jan 2016 02:24:04 -0500 Received: from eggs.gnu.org ([208.118.235.92]:33759) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aJCZk-00073g-70 for submit@debbugs.gnu.org; Tue, 12 Jan 2016 22:58:24 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aJCZb-0002ba-Rr for submit@debbugs.gnu.org; Tue, 12 Jan 2016 22:58:19 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM, HTML_MESSAGE,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:60430) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aJCZb-0002bR-Oj for submit@debbugs.gnu.org; Tue, 12 Jan 2016 22:58:15 -0500 Received: from eggs.gnu.org ([208.118.235.92]:45818) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aJCZa-00019G-C9 for bug-auctex@gnu.org; Tue, 12 Jan 2016 22:58:15 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aJCZY-0002aE-Ep for bug-auctex@gnu.org; Tue, 12 Jan 2016 22:58:14 -0500 Received: from mail-vk0-x236.google.com ([2607:f8b0:400c:c05::236]:33868) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aJCZY-0002a4-9h for bug-auctex@gnu.org; Tue, 12 Jan 2016 22:58:12 -0500 Received: by mail-vk0-x236.google.com with SMTP id a123so224497077vkh.1 for ; Tue, 12 Jan 2016 19:58:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=h8HCR6bbremO/mgzNA/2Y9/JrZZUyZhUCyjeZ0F9Ck0=; b=Lj4BD5BeevAb1Y7uKSH/pm/tOlW39yK/SiIWCYB1D/O1StZ9EUDtwXxL+jBnIG0FMS kCVMG/Y703uZda18mKL+ZszHLZG97ggzwbmYd9HnnQpNg3bma9/bHFFGXbDnR64NSdu+ mfR0wQQW5LshIdydKz20C6/AzQuTiuIUWWFIvUDU0nuU0/H7UpT868CGsM2rEueKE7/j NEBRLjTtLgWhbrvBxEzJZa1ojCG+eBYtnU8JQxbrEd2ssbEQ9jYu4qHuWE78+WwDJ0y+ hL5QDFw6+jeKD6d7TJZ4V5QwC9CpT5kBt08xMLDVGTiafyXe/JV2ONIg7VlEsIkNpd9q QEOQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to :content-type; bh=h8HCR6bbremO/mgzNA/2Y9/JrZZUyZhUCyjeZ0F9Ck0=; b=Y650aPs+8V/eE2rGep9VvAsvZxspVNHRZjLGbOiS5V4qmxEYAwVSJ+cV92L/PmtZ+J EZLMgA3LVlKlATJ/8Q8dp0+WvsJP86/TEvJNhnnw5caQ7OC7YCrw9/4L+PAi0fnigutT kVYW3qqWNzZ6VovEggrE7lSCQ7uUB9wfyyo5JtcQRsJ8f15IvfVt5/PujI+19FkXBp8H j2Z4tSqTWpZEFuLNrd9pJTK5iyOnNZfL+dMm3vBWE/hqdOkrg79UMj0On0zr9wzF457V tEFnix79UJKfPq40SJ9zWDxMrUBatre9g+O2mDv67Uuf+OBB5fCRfZ2zy2MSPHiacb9s qeyw== X-Gm-Message-State: ALoCoQl8jhWTUTihxg+esNyDS4UksBSb9Lg4iB77apVXuWToCnfvKscayz69qcEjlPoyKX57tVOjc33yGl9Bdk+1pp4OXignZQ== MIME-Version: 1.0 X-Received: by 10.31.58.193 with SMTP id h184mr95875682vka.9.1452657491057; Tue, 12 Jan 2016 19:58:11 -0800 (PST) Received: by 10.31.6.1 with HTTP; Tue, 12 Jan 2016 19:58:11 -0800 (PST) Date: Tue, 12 Jan 2016 20:58:11 -0700 Message-ID: Subject: 11.89; No completion of \implies or \iff math symbols From: Aiko Kyle To: bug-auctex@gnu.org Content-Type: multipart/alternative; boundary=001a1143ff70bc243805292f2d42 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Wed, 13 Jan 2016 02:24:03 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.0 (----) --001a1143ff70bc243805292f2d42 Content-Type: text/plain; charset=UTF-8 Hi, I use company-auctex for completion of latex symbols and I noticed that while \Longrightarrow \Longleftrightarrow are completed, \imples and \iff are not completed. I checked company-auctex's source and I believe it ultimately gets these completions from the LaTeX-math-default symbol defined in latex.el. I was hoping that \implies and \iff could be added to LaTeX-math-default so that it would be possible to get these as possible canidates for completion. Thanks! Emacs : GNU Emacs 24.5.1 (x86_64-apple-darwin13.4.0, NS apple-appkit-1265.21) of 2015-04-10 on builder10-9.porkrind.org Package: 11.89 current state: ============== (setq AUCTeX-date "2015-11-13" window-system 'ns LaTeX-version "2e" TeX-style-path '("/usr/local/var/auctex" "/Users/akyle/.emacs.d/elpa/auctex-11.89/style" "/Users/akyle/.emacs.d/auctex/auto" "/Users/akyle/.emacs.d/auctex/style" "auto" "style") TeX-auto-save nil TeX-parse-self t TeX-master t TeX-command-list '(("TeX" "%(PDF)%(tex) %(file-line-error) %(extraopts) %`%S%(PDFout)%(mode)%' %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) %t" TeX-run-compile nil (texinfo-mode) :help "Run Makeinfo with Info output") ("Makeinfo HTML" "makeinfo %(extraopts) --html %t" TeX-run-compile nil (texinfo-mode) :help "Run Makeinfo with HTML output") ("AmSTeX" "amstex %(PDFout) %(extraopts) %`%S%(mode)%' %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 %s" TeX-run-BibTeX nil t :help "Run BibTeX") ("Biber" "biber %s" TeX-run-Biber nil t :help "Run Biber") ("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 t :help "Generate PostScript file") ("Dvips" "%(o?)dvips %d -o %f " TeX-run-dvips nil t :help "Convert DVI file to PostScript") ("Ps2pdf" "ps2pdf %f" TeX-run-ps2pdf nil t :help "Convert PostScript file to PDF") ("Index" "makeindex %s" TeX-run-index nil t :help "Run makeindex to create index file") ("Xindy" "texindy %s" TeX-run-command nil t :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")) ) --001a1143ff70bc243805292f2d42 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi,

I use company-auctex= for completion of latex symbols and I noticed that
while \Longri= ghtarrow \Longleftrightarrow are completed, \imples and
\iff are = not completed. I checked company-auctex's source and I believe
it ultimately gets these completions from the LaTeX-math-default
symbol defined in latex.el. I was hoping that \implies and \iff could be<= /div>
added to LaTeX-math-default so that it would be possible to get t= hese as
possible canidates for completion.

Thanks!

Emacs =C2=A0: GNU Emacs 24.5.1 (x86_64-= apple-darwin13.4.0, NS apple-appkit-1265.21)
=C2=A0of 2015-04-10 = on builder10-9.porkrind.org=
Package: 11.89

current state:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
(setq
=C2= =A0AUCTeX-date "2015-11-13"
=C2=A0window-system 'ns=
=C2=A0LaTeX-version "2e"
=C2=A0TeX-style-pat= h '("/usr/local/var/auctex" "/Users/akyle/.emacs.d/elpa/= auctex-11.89/style"
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 "/Users/akyle/.emacs.d/auctex/auto" &quo= t;/Users/akyle/.emacs.d/auctex/style" "auto"
=C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 "style&quo= t;)
=C2=A0TeX-auto-save nil
=C2=A0TeX-parse-self t
=C2=A0TeX-master t
=C2=A0TeX-command-list '(("TeX&= quot;
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0"%(PDF)%(tex) %(file-line-error) %(extraopts) %`%S%(P= DFout)%(mode)%' %t"
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0TeX-run-TeX nil (plain-tex-mode am= s-tex-mode texinfo-mode) :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0"Run plain TeX")
<= div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (= "LaTeX" "%`%l%(mode)%' %t" TeX-run-TeX nil (latex-m= ode doctex-mode) :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0"Run LaTeX")
=C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("Makei= nfo" "makeinfo %(extraopts) %t" TeX-run-compile nil (texinfo= -mode)
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0:help "Run Makeinfo with Info output")
<= div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (= "Makeinfo HTML" "makeinfo %(extraopts) --html %t" TeX-r= un-compile nil
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0(texinfo-mode) :help "Run Makeinfo with HTM= L output")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 ("AmSTeX" "amstex %(PDFout) %(extraopts= ) %`%S%(mode)%' %t" TeX-run-TeX nil
=C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(ams-tex-mode) :hel= p "Run AMSTeX")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("ConTeXt" "%(cntxcom) --onc= e --texutil %(extraopts) %(execopts)%t"
=C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0TeX-run-TeX nil (co= ntext-mode) :help "Run ConTeXt once")
=C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("ConTeXt Full&qu= ot; "%(cntxcom) %(extraopts) %(execopts)%t" TeX-run-TeX nil
=
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0(context-mode) :help "Run ConTeXt until completion")
<= div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (= "BibTeX" "bibtex %s" TeX-run-BibTeX nil t :help "R= un BibTeX")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 ("Biber" "biber %s" TeX-run-Biber= nil t :help "Run Biber")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("View" "%V" = TeX-run-discard-or-function t t :help "Run Viewer")
=C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("P= rint" "%p" TeX-run-command t t :help "Print the file&qu= ot;)
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 ("Queue" "%q" TeX-run-background nil t :help= "View the printer queue" :visible
=C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0TeX-queue-command)<= /div>
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 ("File" "%(o?)dvips %d -o %f " TeX-run-dvips t t= :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0"Generate PostScript file")
=C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("Dvips= " "%(o?)dvips %d -o %f " TeX-run-dvips nil t :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0"Convert DVI file to PostScript")
=C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("Ps2pdf" &q= uot;ps2pdf %f" TeX-run-ps2pdf nil t :help
=C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0"Convert Po= stScript file to PDF")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("Index" "makeindex %s&qu= ot; TeX-run-index nil t :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0"Run makeindex to create inde= x file")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 ("Xindy" "texindy %s" TeX-run-comm= and nil t :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0"Run xindy to create index file")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= ("Check" "lacheck %s" TeX-run-compile nil (latex-mode)= :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0"Check LaTeX file for correctness")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (&qu= ot;ChkTeX" "chktex -v6 %s" TeX-run-compile nil (latex-mode) = :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0"Check LaTeX file for common mistakes")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (&q= uot;Spell" "(TeX-ispell-document \"\")" TeX-run-fu= nction nil t :help
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0"Spell-check the document")
<= div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (= "Clean" "TeX-clean" TeX-run-function nil t :help<= div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0"Delete generated intermediate files")
=C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("Clean Al= l" "(TeX-clean t)" TeX-run-function nil t :help
= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0"Delete generated intermediate and output files")
= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (&quo= t;Other" "" TeX-run-command t t :help "Run an arbitrary= command"))
=C2=A0)

--001a1143ff70bc243805292f2d42-- ------------=_1453044062-28849-1-- From unknown Sun Jun 22 07:45:39 2025 X-Loop: help-debbugs@gnu.org Subject: bug#22361: 11.89; No completion of \implies or \iff math symbols Resent-From: Tassilo Horn Original-Sender: "Debbugs-submit" Resent-CC: bug-auctex@gnu.org Resent-Date: Sat, 23 Jan 2016 09:27:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 22361 X-GNU-PR-Package: auctex X-GNU-PR-Keywords: To: 22361@debbugs.gnu.org Cc: aikokyle@gmail.com, mose@gnu.org Received: via spool by 22361-submit@debbugs.gnu.org id=B22361.145354119914440 (code B ref 22361); Sat, 23 Jan 2016 09:27:02 +0000 Received: (at 22361) by debbugs.gnu.org; 23 Jan 2016 09:26:39 +0000 Received: from localhost ([127.0.0.1]:58313 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aMuSt-0003ko-7E for submit@debbugs.gnu.org; Sat, 23 Jan 2016 04:26:39 -0500 Received: from out3-smtp.messagingengine.com ([66.111.4.27]:50415) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aMuSs-0003kh-32 for 22361@debbugs.gnu.org; Sat, 23 Jan 2016 04:26:38 -0500 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailout.nyi.internal (Postfix) with ESMTP id CB57A21F02 for <22361@debbugs.gnu.org>; Sat, 23 Jan 2016 04:26:37 -0500 (EST) Received: from frontend2 ([10.202.2.161]) by compute1.internal (MEProxy); Sat, 23 Jan 2016 04:26:37 -0500 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-sasl-enc:x-sasl-enc; s=smtpout; bh=HAwk5yDCwxIdjRz wVz3SQBj1SXo=; b=ZX4Riys1P14CrGxNFK4E5R2hPw2Ym3NoId0R44CSQDX1sGf 7jJafXK/eFZqlLAYZT2RtWE1kmsgdR7KSEX5a90DPFxonop6aHsaYRiO3UAIyUiX 553UKNx/eGfvN9r2aK6kYQF7I+HKHfBt+15sJC0vwgdADXAa3kKzmCl4qtck= X-Sasl-enc: cSZmVY0hXnIxdeGG9c7+QqYAwEHHvaN9V9vAcGsMDP0A 1453541197 Received: from thinkpad-t440p (unknown [31.212.198.13]) by mail.messagingengine.com (Postfix) with ESMTPA id DD84A6800D6; Sat, 23 Jan 2016 04:26:36 -0500 (EST) From: Tassilo Horn References: Date: Sat, 23 Jan 2016 10:26:34 +0100 In-Reply-To: ("=?UTF-8?Q?Mos=C3=A8?= Giordano"'s message of "Sun, 17 Jan 2016 16:19:59 +0100") Message-ID: <87k2n063zp.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.2 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.2 (/) Mos=C3=A8 Giordano writes: Hi Mos=C3=A8, > I don't know if company-auctex is aware of it, but in general you can > add custom mathematical symbols to `LaTeX-math-list'. Anyway, the > arrows you suggested are standard AMS symbols, thus I added them to > `LaTeX-math-default'. I think \iff is even a standard LaTeX symbol. Bye, Tassilo From unknown Sun Jun 22 07:45:39 2025 X-Loop: help-debbugs@gnu.org Subject: bug#22361: 11.89; No completion of \implies or \iff math symbols Resent-From: =?UTF-8?Q?Mos=C3=A8?= Giordano Original-Sender: "Debbugs-submit" Resent-CC: bug-auctex@gnu.org Resent-Date: Sat, 23 Jan 2016 13:07:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 22361 X-GNU-PR-Package: auctex X-GNU-PR-Keywords: To: Tassilo Horn Cc: Aiko Kyle , 22361@debbugs.gnu.org Received: via spool by 22361-submit@debbugs.gnu.org id=B22361.14535543968099 (code B ref 22361); Sat, 23 Jan 2016 13:07:02 +0000 Received: (at 22361) by debbugs.gnu.org; 23 Jan 2016 13:06:36 +0000 Received: from localhost ([127.0.0.1]:58382 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aMxtk-00026Y-5L for submit@debbugs.gnu.org; Sat, 23 Jan 2016 08:06:36 -0500 Received: from eggs.gnu.org ([208.118.235.92]:36784) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aMxti-00026L-6v for 22361@debbugs.gnu.org; Sat, 23 Jan 2016 08:06:34 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aMxtZ-0001Tv-V8 for 22361@debbugs.gnu.org; Sat, 23 Jan 2016 08:06:29 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:48100) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aMxtZ-0001To-RV for 22361@debbugs.gnu.org; Sat, 23 Jan 2016 08:06:25 -0500 Received: from mail-wm0-f53.google.com ([74.125.82.53]:38791) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_ARCFOUR_SHA1:128) (Exim 4.82) (envelope-from ) id 1aMxtZ-0007Mm-9a for 22361@debbugs.gnu.org; Sat, 23 Jan 2016 08:06:25 -0500 Received: by mail-wm0-f53.google.com with SMTP id b14so18522365wmb.1 for <22361@debbugs.gnu.org>; Sat, 23 Jan 2016 05:06:25 -0800 (PST) X-Gm-Message-State: AG10YOQFSWJlLV/a4Lfs9feWKcyDxdB5sQGyFlRA4RvMPRKzU6pR8htIVaD/+V/coiW7WCXLVhbMFi7Sudjxzg== X-Received: by 10.28.170.139 with SMTP id t133mr9023122wme.50.1453554384367; Sat, 23 Jan 2016 05:06:24 -0800 (PST) MIME-Version: 1.0 Received: by 10.28.10.194 with HTTP; Sat, 23 Jan 2016 05:05:44 -0800 (PST) In-Reply-To: <87k2n063zp.fsf@gnu.org> References: <87k2n063zp.fsf@gnu.org> From: =?UTF-8?Q?Mos=C3=A8?= Giordano Date: Sat, 23 Jan 2016 14:05:44 +0100 X-Gmail-Original-Message-ID: Message-ID: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) Hi Tassilo, 2016-01-23 10:26 GMT+01:00 Tassilo Horn : > Mos=C3=A8 Giordano writes: > > Hi Mos=C3=A8, > >> I don't know if company-auctex is aware of it, but in general you can >> add custom mathematical symbols to `LaTeX-math-list'. Anyway, the >> arrows you suggested are standard AMS symbols, thus I added them to >> `LaTeX-math-default'. > > I think \iff is even a standard LaTeX symbol. I saw \iff was defined in amsmath.sty, but... well... it was redefined with \renewcommand! It's actually defined it fontmath.ltx. Fixed, thanks! Bye, Mos=C3=A8