From unknown Thu Jun 19 14:10:16 2025 X-Loop: help-debbugs@gnu.org Subject: bug#25245: Prettify-symbols-mode not working Resent-From: Alex Branham Original-Sender: "Debbugs-submit" Resent-CC: bug-auctex@gnu.org Resent-Date: Wed, 21 Dec 2016 21:32:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 25245 X-GNU-PR-Package: auctex X-GNU-PR-Keywords: To: 25245@debbugs.gnu.org X-Debbugs-Original-To: bug-auctex@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.14823558802728 (code B ref -1); Wed, 21 Dec 2016 21:32:01 +0000 Received: (at submit) by debbugs.gnu.org; 21 Dec 2016 21:31:20 +0000 Received: from localhost ([127.0.0.1]:50595 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cJoTn-0000hw-Qn for submit@debbugs.gnu.org; Wed, 21 Dec 2016 16:31:20 -0500 Received: from eggs.gnu.org ([208.118.235.92]:58630) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cJoRX-0000cN-Ak for submit@debbugs.gnu.org; Wed, 21 Dec 2016 16:28:59 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cJoRR-00018R-6H for submit@debbugs.gnu.org; Wed, 21 Dec 2016 16:28:54 -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,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:37556) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cJoRR-00018J-37 for submit@debbugs.gnu.org; Wed, 21 Dec 2016 16:28:53 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:49588) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cJoRP-00032W-R9 for bug-auctex@gnu.org; Wed, 21 Dec 2016 16:28:52 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cJoRO-00017Z-Rg for bug-auctex@gnu.org; Wed, 21 Dec 2016 16:28:51 -0500 Received: from mail-oi0-x230.google.com ([2607:f8b0:4003:c06::230]:34559) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cJoRO-000172-Ls for bug-auctex@gnu.org; Wed, 21 Dec 2016 16:28:50 -0500 Received: by mail-oi0-x230.google.com with SMTP id 3so40688262oih.1 for ; Wed, 21 Dec 2016 13:28:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=utexas-edu.20150623.gappssmtp.com; s=20150623; h=user-agent:from:to:subject:date:message-id:mime-version; bh=dq09RNXGdwGefUZkoa6Ckd3z4NwInsnaT/CJIrNTQ3c=; b=wNpqDXe1Pmdqs3RZfJhWgAOXMC0AVaoMl65LXbwGICvmP+0sP/wokLA7W2bPZo+vHE ruOWQ6M9FbZH/TFOGWBR8VmRyuJpyqu9kZuJFpS/bwoX1he+udoobNqNQzqUokkJTj8d +C2TyniApATsQC8vbA4JbNX4e9ZQDTpFVrZT5Dp+CVV48JCYIk6DTmB6YwKjaJYpq+fQ oLGHZmKKvL58lJHUyRtgG6qR49CgUWpSz6Iq2cwjlxM/9Twgow+qqyXi2OIfNKdUJJ1k 2XqeOhd2neEh3gHBMJY1tbmPfQdjvnYCQ2c4Xe1s1tv8rZjJYF5ZIiONCwNjJmUmclXN 1r1w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=dq09RNXGdwGefUZkoa6Ckd3z4NwInsnaT/CJIrNTQ3c=; b=tbxePjPWJSPwfw1jzvGxdoV8iMbAUAC/ta0zK+fqsrmCE6nmFDOQyOG3bN+eBgsE+1 SjYbBGKwzzyQcBvQaXJJuZczF/loSFc5JWFFPaTfpRegubLbl03OlD4KzaJC2kgTE2Dk yMPKFGQi9gnEnSCPbo1xP+3fbZWphYdJqf21zbHV/EWj7ZDomT52/1pM5pjwn7Erc/pr 29Cbhylqw0qwvgVHjqmgv+gwtFsdXmYG0x8lb4Or7YqELguosgvWk4Js58z6AY36FRwl +dS4S6C59V/ijD5xYos2LWHsbx+Q+xEsR4pP094ycxjUL366str6d1nrKvltkjjJwxoK BiaA== X-Gm-Message-State: AIkVDXL8h34mc4rQ2sNaenfD4uB+wYQZeaGC0MD4pXtIG4mJtbNUdelXXbIK1FJR7PcOC8Ti X-Received: by 10.202.107.9 with SMTP id g9mr3324728oic.112.1482355728906; Wed, 21 Dec 2016 13:28:48 -0800 (PST) Received: from branham-desktop-arch ([2605:6000:e9c5:e901:74be:7399:86ce:4720]) by smtp.gmail.com with ESMTPSA id u66sm12719759ota.34.2016.12.21.13.28.48 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Wed, 21 Dec 2016 13:28:48 -0800 (PST) User-agent: mu4e 0.9.18; emacs 25.1.1 From: Alex Branham Date: Wed, 21 Dec 2016 15:28:47 -0600 Message-ID: <87mvfpkm40.fsf@utexas.edu> MIME-Version: 1.0 Content-Type: text/plain 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: -5.0 (-----) X-Mailman-Approved-At: Wed, 21 Dec 2016 16:31:18 -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: -5.0 (-----) Hello - I can't seem to get prettify symbols mode to work correctly. In my .emacs I have (global-prettify-symbols-mode). According to the auctex manual, that should be enough, right? However, when I open a tex file, nothing is prettified. Weirdly, if I call M-x LaTeX-mode, then prettification works. Up until I save the file C-x C-s, when everything un-prettifies again. I can get the same behavior by calling M-x prettify-symbols-mode twice. I'm using Emacs version 25.1.1 Auctex version 11.89.7 Any help is appreciated. Alex From unknown Thu Jun 19 14:10:16 2025 X-Loop: help-debbugs@gnu.org Subject: bug#25245: Prettify-symbols-mode not working Resent-From: Tassilo Horn Original-Sender: "Debbugs-submit" Resent-CC: bug-auctex@gnu.org Resent-Date: Thu, 22 Dec 2016 11:12:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 25245 X-GNU-PR-Package: auctex X-GNU-PR-Keywords: To: Alex Branham Cc: 25245@debbugs.gnu.org Received: via spool by 25245-submit@debbugs.gnu.org id=B25245.148240507421554 (code B ref 25245); Thu, 22 Dec 2016 11:12:01 +0000 Received: (at 25245) by debbugs.gnu.org; 22 Dec 2016 11:11:14 +0000 Received: from localhost ([127.0.0.1]:50918 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cK1HG-0005ba-67 for submit@debbugs.gnu.org; Thu, 22 Dec 2016 06:11:14 -0500 Received: from out3-smtp.messagingengine.com ([66.111.4.27]:34574) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cK1HE-0005bS-M6 for 25245@debbugs.gnu.org; Thu, 22 Dec 2016 06:11:13 -0500 Received: from compute7.internal (compute7.nyi.internal [10.202.2.47]) by mailout.nyi.internal (Postfix) with ESMTP id 34F5520592; Thu, 22 Dec 2016 06:11:12 -0500 (EST) Received: from frontend2 ([10.202.2.161]) by compute7.internal (MEProxy); Thu, 22 Dec 2016 06:11:12 -0500 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-sender :x-me-sender:x-sasl-enc:x-sasl-enc; s=smtpout; bh=2mF8cQYR1QHRN4 p/DgvicYV92OM=; b=qSFu/LTA/hGFSR7Kz7YprGaOS2zSVyXwNE3AdS2F2GXEnC KKV7IKiNxBI5i4N4NQZCYIccqd02ZJak6+iI3W0fib6xF9o3vcIN8FD0lE/mWDCe MFtaxsHcrL80CuOoBP6Rxy9bhmDeTleglnd9B04DW/k8X5fB+RhXHQKJ/iB38= X-ME-Sender: X-Sasl-enc: 9nej0CfJ3WcS9U4h9njuKcdzrcSbnv4UN0ZSggy7ZSLT 1482405065 Received: from thinkpad-t440p (p5dec8ece.dip0.t-ipconnect.de [93.236.142.206]) by mail.messagingengine.com (Postfix) with ESMTPA id ECE3924703; Thu, 22 Dec 2016 06:11:04 -0500 (EST) From: Tassilo Horn In-Reply-To: <87mvfpkm40.fsf@utexas.edu> (Alex Branham's message of "Wed, 21 Dec 2016 15:28:47 -0600") References: <87mvfpkm40.fsf@utexas.edu> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) Date: Thu, 22 Dec 2016 12:11:03 +0100 Message-ID: <87h95w8bi0.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.3 (/) 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.3 (/) Alex Branham writes: Hi Alex, > I can't seem to get prettify symbols mode to work correctly. In my > .emacs I have (global-prettify-symbols-mode). According to the auctex > manual, that should be enough, right? Yes, that should be enough. > Weirdly, if I call M-x LaTeX-mode, then prettification works. Up > until I save the file C-x C-s, when everything un-prettifies again. I > can get the same behavior by calling M-x prettify-symbols-mode twice. Oh, I think I found the problem. Prettification won't work when a style file is loaded causing fontification to be reset. I'll have a look at that. Bye, Tassilo From unknown Thu Jun 19 14:10:16 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: Alex Branham Subject: bug#25245: closed (Re: bug#25245: Prettify-symbols-mode not working) Message-ID: References: <87d1gkumt5.fsf@gnu.org> <87mvfpkm40.fsf@utexas.edu> X-Gnu-PR-Message: they-closed 25245 X-Gnu-PR-Package: auctex Reply-To: 25245@debbugs.gnu.org Date: Thu, 22 Dec 2016 13:16:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1482412562-8014-1" This is a multi-part message in MIME format... ------------=_1482412562-8014-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #25245: Prettify-symbols-mode not working 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 25245@debbugs.gnu.org. --=20 25245: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D25245 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1482412562-8014-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 25245-done) by debbugs.gnu.org; 22 Dec 2016 13:15:55 +0000 Received: from localhost ([127.0.0.1]:50994 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cK3Dv-00024z-JB for submit@debbugs.gnu.org; Thu, 22 Dec 2016 08:15:55 -0500 Received: from out3-smtp.messagingengine.com ([66.111.4.27]:34173) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cK3Dt-00024p-Fj for 25245-done@debbugs.gnu.org; Thu, 22 Dec 2016 08:15:54 -0500 Received: from compute7.internal (compute7.nyi.internal [10.202.2.47]) by mailout.nyi.internal (Postfix) with ESMTP id 0E506209AF; Thu, 22 Dec 2016 08:15:53 -0500 (EST) Received: from frontend1 ([10.202.2.160]) by compute7.internal (MEProxy); Thu, 22 Dec 2016 08:15:53 -0500 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-sender :x-me-sender:x-sasl-enc:x-sasl-enc; s=smtpout; bh=uPxquTd2Q9M+cq Q2u9VlqB9KaTA=; b=bWSJipoj4NJEFcOofIdExn+1m75EcAM1QRGBLqayt2hUIs oko53xk2EQ/PN7oKNX0q66vZDZxWvN/H4lvsMp9zCn1BheN0cI1v1EadPM+LGA27 XBwaxZTi5v0rp8akxV5oNb7drLQYGRynQgSG9Dm2GA/GpMpVPGs5AhfKznI+w= X-ME-Sender: X-Sasl-enc: lhEb7O2Mxe50TSvVXtGXotSWl2fEAuH/EJrgBdgwbtzL 1482412552 Received: from thinkpad-t440p (p5dec8ece.dip0.t-ipconnect.de [93.236.142.206]) by mail.messagingengine.com (Postfix) with ESMTPA id 58CDB7EA42; Thu, 22 Dec 2016 08:15:52 -0500 (EST) From: Tassilo Horn To: Alex Branham Subject: Re: bug#25245: Prettify-symbols-mode not working References: <87mvfpkm40.fsf@utexas.edu> <87h95w8bi0.fsf@gnu.org> Date: Thu, 22 Dec 2016 14:15:50 +0100 In-Reply-To: <87h95w8bi0.fsf@gnu.org> (Tassilo Horn's message of "Thu, 22 Dec 2016 12:11:03 +0100") Message-ID: <87d1gkumt5.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.3 (/) X-Debbugs-Envelope-To: 25245-done Cc: 25245-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: 0.3 (/) Hi Alex, >> Weirdly, if I call M-x LaTeX-mode, then prettification works. Up >> until I save the file C-x C-s, when everything un-prettifies again. >> I can get the same behavior by calling M-x prettify-symbols-mode >> twice. > > Oh, I think I found the problem. Prettification won't work when a style > file is loaded causing fontification to be reset. I'll have a look at > that. Ok, I've pushed a fix and released AUCTeX 11.89.8 which should appear in M-x list-packages anytime soon. Bye, Tassilo ------------=_1482412562-8014-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 21 Dec 2016 21:31:20 +0000 Received: from localhost ([127.0.0.1]:50595 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cJoTn-0000hw-Qn for submit@debbugs.gnu.org; Wed, 21 Dec 2016 16:31:20 -0500 Received: from eggs.gnu.org ([208.118.235.92]:58630) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cJoRX-0000cN-Ak for submit@debbugs.gnu.org; Wed, 21 Dec 2016 16:28:59 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cJoRR-00018R-6H for submit@debbugs.gnu.org; Wed, 21 Dec 2016 16:28:54 -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,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:37556) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cJoRR-00018J-37 for submit@debbugs.gnu.org; Wed, 21 Dec 2016 16:28:53 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:49588) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cJoRP-00032W-R9 for bug-auctex@gnu.org; Wed, 21 Dec 2016 16:28:52 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cJoRO-00017Z-Rg for bug-auctex@gnu.org; Wed, 21 Dec 2016 16:28:51 -0500 Received: from mail-oi0-x230.google.com ([2607:f8b0:4003:c06::230]:34559) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cJoRO-000172-Ls for bug-auctex@gnu.org; Wed, 21 Dec 2016 16:28:50 -0500 Received: by mail-oi0-x230.google.com with SMTP id 3so40688262oih.1 for ; Wed, 21 Dec 2016 13:28:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=utexas-edu.20150623.gappssmtp.com; s=20150623; h=user-agent:from:to:subject:date:message-id:mime-version; bh=dq09RNXGdwGefUZkoa6Ckd3z4NwInsnaT/CJIrNTQ3c=; b=wNpqDXe1Pmdqs3RZfJhWgAOXMC0AVaoMl65LXbwGICvmP+0sP/wokLA7W2bPZo+vHE ruOWQ6M9FbZH/TFOGWBR8VmRyuJpyqu9kZuJFpS/bwoX1he+udoobNqNQzqUokkJTj8d +C2TyniApATsQC8vbA4JbNX4e9ZQDTpFVrZT5Dp+CVV48JCYIk6DTmB6YwKjaJYpq+fQ oLGHZmKKvL58lJHUyRtgG6qR49CgUWpSz6Iq2cwjlxM/9Twgow+qqyXi2OIfNKdUJJ1k 2XqeOhd2neEh3gHBMJY1tbmPfQdjvnYCQ2c4Xe1s1tv8rZjJYF5ZIiONCwNjJmUmclXN 1r1w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=dq09RNXGdwGefUZkoa6Ckd3z4NwInsnaT/CJIrNTQ3c=; b=tbxePjPWJSPwfw1jzvGxdoV8iMbAUAC/ta0zK+fqsrmCE6nmFDOQyOG3bN+eBgsE+1 SjYbBGKwzzyQcBvQaXJJuZczF/loSFc5JWFFPaTfpRegubLbl03OlD4KzaJC2kgTE2Dk yMPKFGQi9gnEnSCPbo1xP+3fbZWphYdJqf21zbHV/EWj7ZDomT52/1pM5pjwn7Erc/pr 29Cbhylqw0qwvgVHjqmgv+gwtFsdXmYG0x8lb4Or7YqELguosgvWk4Js58z6AY36FRwl +dS4S6C59V/ijD5xYos2LWHsbx+Q+xEsR4pP094ycxjUL366str6d1nrKvltkjjJwxoK BiaA== X-Gm-Message-State: AIkVDXL8h34mc4rQ2sNaenfD4uB+wYQZeaGC0MD4pXtIG4mJtbNUdelXXbIK1FJR7PcOC8Ti X-Received: by 10.202.107.9 with SMTP id g9mr3324728oic.112.1482355728906; Wed, 21 Dec 2016 13:28:48 -0800 (PST) Received: from branham-desktop-arch ([2605:6000:e9c5:e901:74be:7399:86ce:4720]) by smtp.gmail.com with ESMTPSA id u66sm12719759ota.34.2016.12.21.13.28.48 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Wed, 21 Dec 2016 13:28:48 -0800 (PST) User-agent: mu4e 0.9.18; emacs 25.1.1 From: Alex Branham To: bug-auctex@gnu.org Subject: Prettify-symbols-mode not working Date: Wed, 21 Dec 2016 15:28:47 -0600 Message-ID: <87mvfpkm40.fsf@utexas.edu> MIME-Version: 1.0 Content-Type: text/plain 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: -5.0 (-----) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Wed, 21 Dec 2016 16:31:18 -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: -5.0 (-----) Hello - I can't seem to get prettify symbols mode to work correctly. In my .emacs I have (global-prettify-symbols-mode). According to the auctex manual, that should be enough, right? However, when I open a tex file, nothing is prettified. Weirdly, if I call M-x LaTeX-mode, then prettification works. Up until I save the file C-x C-s, when everything un-prettifies again. I can get the same behavior by calling M-x prettify-symbols-mode twice. I'm using Emacs version 25.1.1 Auctex version 11.89.7 Any help is appreciated. Alex ------------=_1482412562-8014-1--