From unknown Fri Jun 20 07:17:50 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#22361 <22361@debbugs.gnu.org> To: bug#22361 <22361@debbugs.gnu.org> Subject: Status: 11.89; No completion of \implies or \iff math symbols Reply-To: bug#22361 <22361@debbugs.gnu.org> Date: Fri, 20 Jun 2025 14:17:50 +0000 retitle 22361 11.89; No completion of \implies or \iff math symbols reassign 22361 auctex submitter 22361 Aiko Kyle severity 22361 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Wed Jan 13 02:24:04 2016 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-- From debbugs-submit-bounces@debbugs.gnu.org Sun Jan 17 10:20:52 2016 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 From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 23 04:26:39 2016 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 To: 22361@debbugs.gnu.org Subject: Re: bug#22361: 11.89; No completion of \implies or \iff math symbols References: Date: Sat, 23 Jan 2016 10:26:34 +0100 In-Reply-To: (=?utf-8?Q?=22Mos=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-Debbugs-Envelope-To: 22361 Cc: aikokyle@gmail.com, mose@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: 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 debbugs-submit-bounces@debbugs.gnu.org Sat Jan 23 08:06:36 2016 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: Subject: Re: bug#22361: 11.89; No completion of \implies or \iff math symbols To: Tassilo Horn 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 Cc: Aiko Kyle , 22361@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 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 From unknown Fri Jun 20 07:17:50 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 21 Feb 2016 12:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator