Received: from mout.gmx.net (mout.gmx.net [212.227.15.18]) by h1439878.stratoserver.net (8.14.4/8.14.4/Debian-2ubuntu2.1) with ESMTP id v0GKEnN1014794 for ; Mon, 16 Jan 2017 21:14:50 +0100 Received: from relay.uni-heidelberg.de ([129.206.100.212]) by mx-ha.gmx.net (mxgmx004 [212.227.15.9]) with ESMTPS (Nemesis) id 0LdcIM-1cuGx71JtC-00ikhH for ; Mon, 16 Jan 2017 21:14:43 +0100 Received: from listserv.uni-heidelberg.de (listserv.uni-heidelberg.de [129.206.100.94]) by relay.uni-heidelberg.de (8.15.2/8.15.2) with ESMTPS id v0GKD44p016938 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Mon, 16 Jan 2017 21:13:04 +0100 Received: from listserv.uni-heidelberg.de (listserv.uni-heidelberg.de [127.0.0.1]) by listserv.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id v0GHdom7027772; Mon, 16 Jan 2017 21:13:04 +0100 Received: by LISTSERV.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 16.0) with spool id 15383345 for LATEX-L@LISTSERV.UNI-HEIDELBERG.DE; Mon, 16 Jan 2017 21:13:04 +0100 Received: from relay2.uni-heidelberg.de (relay2.uni-heidelberg.de [129.206.119.212]) by listserv.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id v0GKD3le001390 for ; Mon, 16 Jan 2017 21:13:03 +0100 Received: from smtp4.clear.net.nz (smtp4.clear.net.nz [203.97.37.64]) by relay2.uni-heidelberg.de (8.15.2/8.15.2) with ESMTP id v0GKCuM4020433 for ; Mon, 16 Jan 2017 21:12:59 +0100 Received: from mxin3-orange.clear.net.nz (lb1-srcnat.clear.net.nz [203.97.32.236]) by smtp4.clear.net.nz (CLEAR Net Mail) with ESMTP id <0OJW00CQ12ACNF40@smtp4.clear.net.nz> for LATEX-L@listserv.uni-heidelberg.de; Tue, 17 Jan 2017 09:12:55 +1300 (NZDT) Received: from 118-92-73-11.dsl.dyn.ihug.co.nz (HELO [127.0.0.1]) ([118.92.73.11]) by smtpin3.clear.net.nz with ESMTP; Tue, 17 Jan 2017 09:12:29 +1300 MIME-version: 1.0 Content-type: text/plain; charset=utf-8; format=flowed Content-transfer-encoding: 7bit X-Antivirus: avast! (VPS 170116-0, 17/01/2017), Outbound message X-Antivirus-Status: Clean References: <587C1AD1.1040401@clear.net.nz> <587C9F2F.7020507@clear.net.nz> <52c7fdb9-95f6-3ad4-5920-b73b1bc31a23@nag.co.uk> <3f2158b8-7359-740c-2b60-0d3485d88cdf@latex-project.org> User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.7.2 Message-ID: <587D292B.9020401@clear.net.nz> Date: Tue, 17 Jan 2017 09:12:27 +1300 Reply-To: Mailing list for the LaTeX3 project Sender: Mailing list for the LaTeX3 project From: Andrew Parsloe Subject: Re: Distinguishing display styles in math mode To: LATEX-L@LISTSERV.UNI-HEIDELBERG.DE In-Reply-To: <3f2158b8-7359-740c-2b60-0d3485d88cdf@latex-project.org> Precedence: list List-Help: , List-Unsubscribe: List-Subscribe: List-Owner: List-Archive: Envelope-To: X-GMX-Antispam: 0 (Mail was not recognized as spam); Detail=V3; X-GMX-Antivirus: 0 (no virus found) X-UI-Filterresults: notjunk:1;V01:K0:Siz4RL8+lxA=:OSnctbaxpWalGMH9YKbwXulV2+ nXRG/25gijyd3OZ93plGc1n+tdNIPurzOqXLoWQEPu8LCU1UpKukx08jHU6wuhNznlNNnmSh5 dglv3fsLKi3qtF5LUxrkVIzrw+FxnAdb5/GYpAoQvJzSKLoxbZM25hCq6Ol3mD5+wazeeIMPl FyVpDCucpMIFH885aHewtmM6tQ16YuStHcSOi6aUJpbTCyby6/ZQTyVaCFJjux66/ZgmH/OLq rjzNPaIXWRdZn//nduUadaQzlRn5aWEURx6m/ouuxd3eWDcgZwhazKKe/+njtPIP8m+W8UNrq Fizb4+jKOzv8ola7YX5knLOE7TlVaI6oN+xgy3Sr8F5aEUolrAra9PbDVr77HtxEYKbxgQCSZ BY8OktMXXAPAY1k0UyO+R/e983O48c+THAwqO+V0SN4i0Og8/zyQLIYKh+cUWb8+P++IvrWEs Hpz6QdHRe6oxsxqnOWgp0+t2fjrR5Jr2ByhLlktuJdMWZP2r/DMgei9u7F6jEGjoiqa5cVPNf cxabHMauUPzYbeGfIeCCP8/VhFdvVmZ2i56OxeKUa4UhjvxSxPvXSZ4wNmmmfiLgwLMdB05En 3IZCmG/iKi34q9tQdefbtxv5aI0oL2M1HTI5t/XiCEqygmNEKHGg1VZodv0vD/1re8PS/XbOn yW/6WUFQyWRf/McD+Vl2C1plGB6Gu7q9GzytEVmZjYXKu1W3nDgVawo2/D0w6tEGTUmPfhhcR vbUPeZtvl33/5XzP5PVqBqYq2krkFoONOHT+fWSxb1ZlQ6x60Ym7SUf8GkNNpl2NaZMcreE91 oOJSEgj4FTDNdvopiDvFGjgr8Z9jfrDFQEHDaWfTizBUJpTRFFRPABpc6allh51lY0Lr9jqz/ GeB9th+kGRfDoKNQfXVUhKVC3AtqdgZ+bgxGi19TcVI7LPHnQhQ2MiZVWQ4e5rcbJXTKl/GkG NEMfZBqSfyeyXdcTkRrknfyjHehW+1XwZYaGU5IO22GpoO5xEVrVG0MCVNoFrVJvQoMeNzPI0 P/vhvrzLYxbyZC9R8tiE54LXbVc7yCNF5hQTfjre3gqfqADzSnQbOEpHeF3RncX36UbHs0JrO 94eNOMf7tCMAOP1Lz5i8ORujrVLLn28tvwzKE7A3YWfoxLuUJi+0rMoLoO0cV19RptNBFMNB5 jCJnnSzs+k8LYOqCkzslJ/RMfON9gxgE0k4rFSEB2os5bSrwklk9KVbNO/LiHnMr3g6UNT+yI wHBNn2HOINA9LdLHCB/EcNf3ZGmUHPahnBer72VniCnZ4e/obqe7MUeC4T1H/uVtT5FlAczCm +z4aw+xQdsyh/ug+6IGASwgkdskfzyJ8WSOIieLe8wwpG6OwatEU9pK9mO6uFM5UkAeZtyjmQ 3q11aHD7tZG2MeFbqhXZ2AS3eL/9pJqH0h9uwyC7yTB04/1ZwLW6Z1R3lWbctTMWieS0tb3Ts 9ms+1OD4PDtKV4OB90dBgbM5AEl+Us9YVmDA9qlu+mt706tTZ3rQlKSeDGI+MZsYy50g5Vg+Q xHOCQAE0zufFcmTtzc2EUAOXqZBw6Wzvivubn9muc8q0OAFFdfifr9T0AlA+ggvUOAPEmE+A3 t+q3gWFiKWOR5mBfqaFjWPreqk796YBBP8npoJAdyrjrO56ucqRrF39uJeCKPnpNS5Led/WGy MDqXFvTPZ26OtCnw5MZC9To X-UI-Loop:V01:pRw9SaVMJZE=:k2aGr97TdGvC5KRYLVVJTeZThbrqCiQTNPMQnhVkHEM= X-UI-Out-Filterresults: notjunk:1;V01:K0:A8AndhPHEGg=:3NXfnp6UIUODFGsZ7iqDzO qMW9zAHeVmZl+dbNono0jLuFuMyQ0naUDXvv2JvEXwsOQnVi+2dRyE7izhxeLH7NpRJpwo+Rl 2C7FMyoa9Sg60D7r1qisDKRjHC62GK/wpg77NqIi61KrBvt81AjeiMCIu6ZxMw8WjtfrPy0WN TRpzB4mTVBfh2wYJvZHbiDIy3ClmMB1C3pwU4W4wD0N9XzEq7uUK+wwGdrr6vpP4t3c5DyDMG eTwQP0XbJBABgTzg4hdNlbnVjbCx+LvrD3Gz2ACGY9Ax1hOU/25q+ZQSjUGM4ekPo9K6ipMBg rKlpTO+dXf6JspeTEmbqgwCBGOThoc6Ayl+nOekaCgr7G7V1im6m+uH14ybPPsI49XAoOnOEG ttr0a7ZI+q9S5K0ZfQ17SOQyYpoODilkgT1LJH2eC5loQhSmz+ajtdhF3LdXLuk07f4SuTyfe X2/xnz+AVuQHZFxzfTPAp6zzYk04KDNMNKMqQ4zDUWs3lsYnuDnrXDex0sL33z+UIspWkngTB 5xwZPmXBheEQXC6D1ZwSp1tcl2T5x69FASLoep8uCzM X-Scanned-By: MIMEDefang 2.71 on 85.214.41.38 Status: R X-Status: X-Keywords: X-UID: 7942 On 17/01/2017 12:00 a.m., Frank Mittelbach wrote: > Am 16.01.2017 um 11:41 schrieb David Carlisle: >> >> Any apparent correspondence between inner and outer math and >> displaystyle and textstyle is more or less accidental. > > > \ifinner is described in the TeXbook simply as > > True if \TeX\ is in internal vertical mode, or restricted > horizontal mode, or (nondisplay) math mode (see Chapter~13). > > which is unfortunately an over-simplification as the "style" can be > explicitly set via \displaystyle and \textstyle and that is not > reflected by the \ifinner test. > > Most math environment do exactly this, ie typesetting the formulas using > $...$ = \ifinner=true but changing the style to \displaystyle when > needed (with still \ifinner=true) which makes \ifinner pretty useless > inside math > > As Joseph said, that is really only reflected when you look at \mathchoice > Thank you to all respondents who have made it clear that "Math modes can be tested for: \ifmmode is true in display and non-display math mode, and \ifinner is true in non-display mode, but not in display mode" (Eijkhout, "TeX by Topic", Section 23.1) is by no means generally true. (Although I suspect that in the *particular* circumstances that I was using the \ifinner test it does the job.) Andrew --- This email has been checked for viruses by Avast antivirus software. https://www.avast.com/antivirus