From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/87004 Path: news.gmane.org!not-for-mail From: Hans Hagen Newsgroups: gmane.comp.tex.context Subject: Re: \triangledown placed too low in Palatino Date: Tue, 15 Apr 2014 08:49:42 +0200 Message-ID: <534CD686.6010306@wxs.nl> References: <87ha60svmk.fsf@approx.mit.edu> <1FAEB3CA-E8E6-44BB-AE31-0C69D9BC5509@icloud.com> <87eh14so9b.fsf@approx.mit.edu> <5FAC845B-8A8C-4FD6-95C0-07745BCB5634@gmail.com> <874n1yne1g.fsf@approx.mit.edu> <534ABF88.1080005@wxs.nl> <87vbuccl6c.fsf@approx.mit.edu> Reply-To: mailing list for ConTeXt users NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; Format="flowed" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1397544620 23269 80.91.229.3 (15 Apr 2014 06:50:20 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 15 Apr 2014 06:50:20 +0000 (UTC) To: Sanjoy Mahajan , ntg-context@ntg.nl Original-X-From: ntg-context-bounces@ntg.nl Tue Apr 15 08:50:15 2014 Return-path: Envelope-to: gctc-ntg-context-518@m.gmane.org Original-Received: from balder.ntg.nl ([5.39.185.229]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1WZxCB-000080-82 for gctc-ntg-context-518@m.gmane.org; Tue, 15 Apr 2014 08:50:15 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 0DBE410252 for ; Tue, 15 Apr 2014 08:50:14 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at balder.ntg.nl Original-Received: from balder.ntg.nl ([127.0.0.1]) by localhost (balder.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id zavTGC4uoa-m for ; Tue, 15 Apr 2014 08:50:13 +0200 (CEST) Original-Received: from balder.ntg.nl (localhost [IPv6:::1]) by balder.ntg.nl (Postfix) with ESMTP id C9F9810238 for ; Tue, 15 Apr 2014 08:50:09 +0200 (CEST) Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 43499101E3 for ; Tue, 15 Apr 2014 08:50:05 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at balder.ntg.nl Original-Received: from balder.ntg.nl ([127.0.0.1]) by localhost (balder.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 1r-Hprvmb8s1 for ; Tue, 15 Apr 2014 08:49:54 +0200 (CEST) Original-Received: from filter3-til.mf.surf.net (filter3-til.mf.surf.net [194.171.167.219]) by balder.ntg.nl (Postfix) with ESMTP id 72CC6101E1 for ; Tue, 15 Apr 2014 08:49:44 +0200 (CEST) Original-Received: from smtp.ziggozakelijk.nl (D57D1DA2.static.ziggozakelijk.nl [213.125.29.162]) by filter3-til.mf.surf.net (8.14.3/8.14.3/Debian-9.4) with ESMTP id s3F6nh9J022623 for ; Tue, 15 Apr 2014 08:49:44 +0200 X-Default-Received-SPF: pass (skip=loggedin (res=PASS)) x-ip-name=10.100.1.103; Original-Received: from [10.100.1.103] (unverified [10.100.1.103]) by pragma-net.nl (SurgeMail 6.3c2) with ESMTP id 647-1713362 for multiple; Tue, 15 Apr 2014 08:49:42 +0200 User-Agent: Mozilla/5.0 (Windows NT 6.3; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.4.0 In-Reply-To: <87vbuccl6c.fsf@approx.mit.edu> X-Authenticated-User: hagen@controller-9 X-Bayes-Prob: 0.0001 (Score 0, tokens from: ntg-context@ntg.nl, base:default, @@RPTN) X-CanIt-Geo: ip=213.125.29.162; country=NL; region=Provincie Overijssel; city=Zwolle; latitude=52.5058; longitude=6.0858; http://maps.google.com/maps?q=52.5058,6.0858&z=6 X-CanItPRO-Stream: uu:ntg-context@ntg.nl (inherits from uu:default, base:default) X-Canit-Stats-ID: 06LO6NIOD - f16b7d4330c7 - 20140415 (trained as not-spam) X-Scanned-By: CanIt (www . roaringpenguin . com) on 194.171.167.219 X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.14 Precedence: list List-Id: mailing list for ConTeXt users List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: ntg-context-bounces@ntg.nl Original-Sender: ntg-context-bounces@ntg.nl Xref: news.gmane.org gmane.comp.tex.context:87004 Archived-At: On 4/14/2014 11:30 AM, Sanjoy Mahajan wrote: >> I can change things but will only do that when all you mathematicians >> have some agreement about it ... > > Otared points out that the distinction between \triangle and > \bigtriangleup comes from plain TeX. plain.tex has these definitions: > > \mathchardef\triangle="0234 > \mathchardef\bigtriangleup="2234 > > So \triangle is a math ord and \bigtriangleup a math bin. > > For compatibility, that should probably stay true in ConTeXt too---even > the low placement of \bigtriangledown, which I don't understand but > which does reproduce plain TeX's placement. why? if compatibility means 'not useable' we should fix it >> Btw, it is still on my agenda to provide a mechanism for switching >> between math dictionaries (i.e. group symbols in group switch if needed >> different properties) so that one can switch between logic, >> statistics, streetfighting or whatever math. > > Hm, like different dialects of a language. Plain TeX definitely speaks > a pure-mathematician dialect. It would be interesting to see what > symbol groups are useful in other dialects. http://www.openmath.org/cdindex.html it would be interesting to come up with a reasonable list of math languages Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | voip: 087 875 68 74 | www.pragma-ade.com | www.pragma-pod.nl ----------------------------------------------------------------- ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________