From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/90564 Path: news.gmane.org!not-for-mail From: Jaroslav Hajtmar Newsgroups: gmane.comp.tex.context Subject: Re: setupformulas options (or defineformula) and effort to reduce the font in math formulas Date: Thu, 12 Mar 2015 09:23:01 +0100 Message-ID: <55014CE5.1000007@gyza.cz> References: <54FF7416.6060000@gyza.cz> <54FF76F1.90901@wxs.nl> <54FF7940.8000902@gyza.cz> <602A3DEA-1268-4201-8E3A-D8EE8431226F@gmail.com> <550078E3.6090907@gyza.cz> Reply-To: mailing list for ConTeXt users NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1426148633 1143 80.91.229.3 (12 Mar 2015 08:23:53 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 12 Mar 2015 08:23:53 +0000 (UTC) To: ntg-context@ntg.nl Original-X-From: ntg-context-bounces@ntg.nl Thu Mar 12 09:23:42 2015 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 1YVyP4-00060g-DG for gctc-ntg-context-518@m.gmane.org; Thu, 12 Mar 2015 09:23:38 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 940271022B for ; Thu, 12 Mar 2015 09:23:37 +0100 (CET) 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 CHUGn0IiPPic for ; Thu, 12 Mar 2015 09:23:36 +0100 (CET) Original-Received: from balder.ntg.nl (localhost [IPv6:::1]) by balder.ntg.nl (Postfix) with ESMTP id 657AB1022E for ; Thu, 12 Mar 2015 09:23:10 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 70520101EC for ; Thu, 12 Mar 2015 09:23:06 +0100 (CET) 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 Ypj2pRJdXdXf for ; Thu, 12 Mar 2015 09:23:05 +0100 (CET) Original-Received: from filter4-ams.mf.surf.net (filter4-ams.mf.surf.net [192.87.102.72]) by balder.ntg.nl (Postfix) with ESMTP id 14303101E8 for ; Thu, 12 Mar 2015 09:23:04 +0100 (CET) Original-Received: from h1.cmg2.smtp.forpsi.com (h1.cmg2.smtp.forpsi.com [81.2.195.188]) by filter4-ams.mf.surf.net (8.14.3/8.14.3/Debian-9.4) with ESMTP id t2C8N3C3023233 for ; Thu, 12 Mar 2015 09:23:03 +0100 Original-Received: from [192.168.0.137] ([188.116.90.238]) by cmg2.smtp.forpsi.com with bizsmtp id 2YP21q00858ZT5Y01YP36C; Thu, 12 Mar 2015 09:23:03 +0100 User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.5.0 In-Reply-To: <550078E3.6090907@gyza.cz> X-Bayes-Prob: 0.0001 (Score 0, tokens from: ntg-context@ntg.nl, base:default, @@RPTN) X-CanIt-Geo: ip=81.2.195.188; country=CZ; latitude=50.0833; longitude=14.4167; http://maps.google.com/maps?q=50.0833,14.4167&z=6 X-CanItPRO-Stream: uu:ntg-context@ntg.nl (inherits from uu:default, base:default) X-Canit-Stats-ID: 01O2wn3Id - ec83bf63bcd3 - 20150312 Received-SPF: none (filter4-ams.mf.surf.net: domain of hajtmar@gyza.cz does not designate permitted sender hosts) receiver=filter4-ams.mf.surf.net; client-ip=81.2.195.188; envelope-from=; helo=h1.cmg2.smtp.forpsi.com; identity=mailfrom X-Scanned-By: CanIt (www . roaringpenguin . com) on 192.87.102.72 X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.16 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" Xref: news.gmane.org gmane.comp.tex.context:90564 Archived-At: SGVsbG8gV29sZmdhbmcuCgpBZnRlciBzb21lIHNlYXJjaGluZyBhbmQgZXhwZXJpbWVudGluZywg aGVyZSBpcyBteSBmdW5jdGlvbmFsIHNvbHV0aW9uLgpJIHdyb3RlIGl0IGludG8gdGhlIHdpa2ku IEkgaGF2ZSBub3QgZm91bmQgdGhlcmUgZWcuIGRlZmluZWZvcm11bGEgCmNvbW1hbmQgZXRjCgpK YXJvc2xhdiBIYWp0bWFyCgoKClxkZWZpbmVmb3JtdWxhW01ZXVsKICAgICBhbGlnbj1sZWZ0LAog ICAgIHN0cnV0PW5vLAogICAgICBzcGFjZWJlZm9yZT0sCiAgICAgIHNwYWNlYWZ0ZXI9LApdCgoK JSBzbyB5b3UgY2FuIG1vZGlmeSB0aGUgc2V0dGluZ3Mgb2YgZGVmaW5lZm9ydW1sYVtNWV0KXHNl dHVwZm9ybXVsYWVbTVldW2FsaWduPXJpZ2h0LHN0cnV0PXllcyxzcGFjZWJlZm9yZT1tZWRpdW0s c3BhY2VhZnRlcj1iaWddCgolIHNvIHdlIGNhbiBjcmVhdGUgbmV3IHN0YXJ0LXN0b3BzbWFsbGZv cm11bGEKXGRlZmluZXN0YXJ0c3RvcFtzbWFsbGZvcm11bGFdCiAgIFtiZWZvcmU9e1xzdGFydGZv cm11bGFbc21hbGxdfSwKICAgIGFmdGVyPVxzdG9wZm9ybXVsYSwKICAgICBdCgolIGFuZCB3ZSBj YW4gc28gY3JlYXRlIG5ldyBzdGFydC1zdG9wbXlzbWFsbGZvcm11bGE6ClxkZWZpbmVzdGFydHN0 b3BbbXlzbWFsbGZvcm11bGFdCiAgIFtiZWZvcmU9e1xzdGFydE1ZZm9ybXVsYVtzbWFsbF19LAog ICAgYWZ0ZXI9XHN0b3BNWWZvcm11bGEsCiAgICAgXQoKJSBhbmQgaGVyZSBpcyBteSBzaG9ydGN1 dHM6ClxsZXRcYm15Zm9ybXVsYVxzdGFydG15c21hbGxmb3JtdWxhClxsZXRcZW15Zm9ybXVsYVxz dG9wbXlzbWFsbGZvcm11bGEKCgoKXHN0YXJ0dGV4dAoKXHRpdGxle0V4YW1wbGUgb2YgdXNlIGFu ZCBiZWhhdmlvcn0KCnN0YXJ0Zm9ybXVsYToKClxzdGFydGZvcm11bGEKICAgICBjXjIgPSBhXjIg KyBiXjIKXHN0b3Bmb3JtdWxhCgpzdGFydGZvcm11bGEkWyRzbWFsbCRdJDoKClxzdGFydGZvcm11 bGFbc21hbGxdCiAgICAgY14yID0gYV4yICsgYl4yClxzdG9wZm9ybXVsYQoKc3RhcnRmb3JtdWxh WzhwdF06Cgpcc3RhcnRmb3JtdWxhWzhwdF0KICAgICBjXjIgPSBhXjIgKyBiXjIKXHN0b3Bmb3Jt dWxhCgpzdGFydHNtYWxsZm9ybXVsYToKClxzdGFydHNtYWxsZm9ybXVsYQogICAgIGNeMiA9IGFe MiArIGJeMgpcc3RvcHNtYWxsZm9ybXVsYQoKCnN0YXJ0bXlzbWFsbGZvcm11bGE6Cgpcc3RhcnRt eXNtYWxsZm9ybXVsYQogICAgIGNeMiA9IGFeMiArIGJeMgpcc3RvcG15c21hbGxmb3JtdWxhCgpz dGFydE1ZZm9ybXVsYToKClxzdGFydE1ZZm9ybXVsYQogICAgIGNeMiA9IGFeMiArIGJeMgpcc3Rv cE1ZZm9ybXVsYQoKc3RhcnRNWWZvcm11bGFbNXB0XToKClxzdGFydE1ZZm9ybXVsYVs1cHRdCiAg ICAgY14yID0gYV4yICsgYl4yClxzdG9wTVlmb3JtdWxhCgoKYm15Zm9ybXVsYToKClxibXlmb3Jt dWxhCiAgICAgY14yID0gYV4yICsgYl4yClxlbXlmb3JtdWxhCgoKClxzdG9wdGV4dAoKCmh0dHA6 Ly93aWtpLmNvbnRleHRnYXJkZW4ubmV0L2RlZmluZWZvcm11bGEKCgpEbmUgMTEuMy4yMDE1IHYg MTg6MTggSmFyb3NsYXYgSGFqdG1hciBuYXBzYWwoYSk6Cj4gVGhhbnggV29sZmdhbmcgZm9yIHJl cGx5Lgo+IEkgaGFkIG5vIGlkZWEgdGhhdCBpdCBpcyBwb3NzaWJsZSBpbiB0aGlzIHdheSB0byBj aGFuZ2UgdGhlIGZvbnQgc2l6ZS4gCj4gSSBjb3VsZCBub3QgZmlndXJlIGEgd2F5IGZvciB5b3Vy IHNvbHV0aW9uIHNldCBhbGlnbm1lbnQgZm9ybXVsYXMgdG8gCj4gcmlnaHQgYW5kIGhvdyB3b3Jr IFxkZWZpbmVmb3JtdWxhIGFuZCBcZGVmaW5lc3RhcnRzdG9wIHRvZ2V0aGVyLgo+Cj4gQWZ0ZXIg ZGVmaW5pbmcgYSBuZXcgTVkgZm9ybXVsYSBpbiBjb21iaW5hdGlvbiB3aXRoIHlvdXIgc29sdXRp b24gCj4gd29ya3MgaXQgZmluZSwgYXMgSSBoYWQgaW1hZ2luZWQuCj4gSXMgdGhlcmUgYW55IHBv c3NpYmlsaXR5IG9mIHNldHRpbmcgb2YgcGFyYW1ldGVycyBhIG5ld2x5IGRlZmluZWQgCj4gZm9y bXVsYXM/IE9yLCBpdCBjYW4gbm90IGJlIGRvbmUsIGFuZCBldmVyeXRoaW5nIG11c3QgYmUgc29s dmVkIHdpdGhpbiAKPiB0aGUgaW5pdGlhbCBkZWZpbml0aW9uPwo+Cj4gT25lIG1vcmUgdGhhbngK PiBKYXJvc2xhdiBIYWp0bWFyCj4KPgo+IFxkZWZpbmVmb3JtdWxhW01ZXVsKPiAgICAgYWxpZ249 cmlnaHQsCj4gICAgIHN0cnV0PXllcywKPiAgICAgc3BhY2ViZWZvcmU9LAo+ICAgICBzcGFjZWFm dGVyPSwKPiBdCj4KPiBcZGVmaW5lc3RhcnRzdG9wW3NtYWxsZm9ybXVsYV0KPiAgIFtiZWZvcmU9 e1xzdGFydGZvcm11bGFbc21hbGxdfSwKPiAgICBhZnRlcj1cc3RvcGZvcm11bGEsCj4gICAgIF0K Pgo+Cj4gJSBcc2V0dXBmb3JtdWxhc1thbGlnbj1yaWdodCxzdHJ1dD15ZXMsc3BhY2ViZWZvcmU9 LHNwYWNlYWZ0ZXI9XQo+ICUgCj4gXHNldHVwZm9ybXVsYXNbc21hbGxmb3JtdWxhXVthbGlnbj1y aWdodCxzdHJ1dD15ZXMsc3BhY2ViZWZvcmU9LHNwYWNlYWZ0ZXI9XQo+ICUgXHNldHVwZm9ybXVs YXNbc21hbGxdW2FsaWduPXJpZ2h0LHN0cnV0PXllcyxzcGFjZWJlZm9yZT0sc3BhY2VhZnRlcj1d Cj4gJSBcc2V0dXBzbWFsbGZvcm11bGFzW2FsaWduPXJpZ2h0LHN0cnV0PXllcyxzcGFjZWJlZm9y ZT0sc3BhY2VhZnRlcj1dCj4gJSAKPiBcc2V0dXBzbWFsbGZvcm11bGFmb3JtdWxhc1thbGlnbj1y aWdodCxzdHJ1dD15ZXMsc3BhY2ViZWZvcmU9LHNwYWNlYWZ0ZXI9XQo+ICUgXHNldHVwZm9ybXVs YXNbTVldW2FsaWduPXJpZ2h0LHN0cnV0PXllcyxzcGFjZWJlZm9yZT0sc3BhY2VhZnRlcj1dCj4g JSAKPiBcc2V0dXBmb3JtdWxhc1tNWWZvcm11bGFdW2FsaWduPXJpZ2h0LHN0cnV0PXllcyxzcGFj ZWJlZm9yZT0sc3BhY2VhZnRlcj1dCj4gJSBcc2V0dXBNWWZvcm11bGFzW2FsaWduPXJpZ2h0LHN0 cnV0PXllcyxzcGFjZWJlZm9yZT0sc3BhY2VhZnRlcj1dCj4KPgo+IFxzdGFydHRleHQKPgo+IFxz dGFydGZvcm11bGEKPiAgICAgY14yID0gYV4yICsgYl4yCj4gXHN0b3Bmb3JtdWxhCj4KPiBcc3Rh cnRmb3JtdWxhW3NtYWxsXQo+ICAgICBjXjIgPSBhXjIgKyBiXjIKPiBcc3RvcGZvcm11bGEKPgo+ IFxzdGFydGZvcm11bGFbOHB0XQo+ICAgICBjXjIgPSBhXjIgKyBiXjIKPiBcc3RvcGZvcm11bGEK Pgo+IFxzdGFydHNtYWxsZm9ybXVsYQo+ICAgICBjXjIgPSBhXjIgKyBiXjIKPiBcc3RvcHNtYWxs Zm9ybXVsYQo+Cj4gXHN0YXJ0TVlmb3JtdWxhW3NtYWxsXQo+ICAgICBjXjIgPSBhXjIgKyBiXjIK PiBcc3RvcE1ZZm9ybXVsYQo+Cj4gXHN0YXJ0TVlmb3JtdWxhWzVwdF0KPiAgICAgY14yID0gYV4y ICsgYl4yCj4gXHN0b3BNWWZvcm11bGEKPgo+Cj4gXHN0b3B0ZXh0Cj4KPgo+Cj4gRG5lIDExLjMu MjAxNSB2IDA6NTIgV29sZmdhbmcgU2NodXN0ZXIgbmFwc2FsKGEpOgo+PiBcc3RhcnRmb3JtdWxh IGhhcyBhIG9wdGlvbmFsIGFyZ3VtZW50IHdoaWNoIGxldCB5b3UgY2hhbmdlIHRoZSBmb250LCAK Pj4gZS5nLiBcc3RhcnRmb3JtdWxhWzlwdF0uCj4+Cj4+IFxkZWZpbmVzdGFydHN0b3Bbc21hbGxm b3JtdWxhXQo+PiAgICBbYmVmb3JlPXtcc3RhcnRmb3JtdWxhW3NtYWxsXX0sCj4+ICAgICBhZnRl cj1cc3RvcGZvcm11bGFdCj4+Cj4+IFxzdGFydHRleHQKPj4KPj4gXHN0YXJ0Zm9ybXVsYQo+PiAg ICAgY14yICA9IGFeMiAgKyBiXjIKPj4gXHN0b3Bmb3JtdWxhCj4+Cj4+IFxzdGFydGZvcm11bGFb c21hbGxdCj4+ICAgICBjXjIgID0gYV4yICArIGJeMgo+PiBcc3RvcGZvcm11bGEKPj4KPj4gXHN0 YXJ0c21hbGxmb3JtdWxhCj4+ICAgICBjXjIgID0gYV4yICArIGJeMgo+PiBcc3RvcHNtYWxsZm9y bXVsYQo+Pgo+PiBcc3RvcHRleHQKPgo+IF9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fIAo+Cj4g SWYgeW91ciBxdWVzdGlvbiBpcyBvZiBpbnRlcmVzdCB0byBvdGhlcnMgYXMgd2VsbCwgcGxlYXNl IGFkZCBhbiBlbnRyeSAKPiB0byB0aGUgV2lraSEKPgo+IG1haWxsaXN0IDogbnRnLWNvbnRleHRA bnRnLm5sIC8gCj4gaHR0cDovL3d3dy5udGcubmwvbWFpbG1hbi9saXN0aW5mby9udGctY29udGV4 dAo+IHdlYnBhZ2UgIDogaHR0cDovL3d3dy5wcmFnbWEtYWRlLm5sIC8gaHR0cDovL3RleC5hYW5o ZXQubmV0Cj4gYXJjaGl2ZSAgOiBodHRwOi8vZm91bmRyeS5zdXBlbGVjLmZyL3Byb2plY3RzL2Nv bnRleHRyZXYvCj4gd2lraSAgICAgOiBodHRwOi8vY29udGV4dGdhcmRlbi5uZXQKPiBfX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fXwoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSWYgeW91ciBx dWVzdGlvbiBpcyBvZiBpbnRlcmVzdCB0byBvdGhlcnMgYXMgd2VsbCwgcGxlYXNlIGFkZCBhbiBl bnRyeSB0byB0aGUgV2lraSEKCm1haWxsaXN0IDogbnRnLWNvbnRleHRAbnRnLm5sIC8gaHR0cDov L3d3dy5udGcubmwvbWFpbG1hbi9saXN0aW5mby9udGctY29udGV4dAp3ZWJwYWdlICA6IGh0dHA6 Ly93d3cucHJhZ21hLWFkZS5ubCAvIGh0dHA6Ly90ZXguYWFuaGV0Lm5ldAphcmNoaXZlICA6IGh0 dHA6Ly9mb3VuZHJ5LnN1cGVsZWMuZnIvcHJvamVjdHMvY29udGV4dHJldi8Kd2lraSAgICAgOiBo dHRwOi8vY29udGV4dGdhcmRlbi5uZXQKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18=