Re: [m-users.] How to abbreviate a higher order mode?

Volker Wysk <[email protected]> Wed, 01 Apr 2026 16:23:45 +0200
Newsgroups gmane.comp.lang.mercury.general
Message-ID <[email protected]>
VGhhbmsgeW91IHZlcnkgbXVjaC4KClZvbGtlcgoKCkFtIERvbm5lcnN0YWcsIGRlbSAwMi4wNC4y
MDI2IHVtIDAxOjAzICsxMTAwIHNjaHJpZWIgSnVsaWVuIEZpc2NoZXI6Cj4gSGksCj4gCj4gT24g
VGh1LCAyIEFwciAyMDI2IGF0IDAwOjQzLCBWb2xrZXIgV3lzayA8cG9zdEB2b2xrZXItd3lzay5k
ZT4gd3JvdGU6Cj4gPiAKPiA+IEhpIQo+ID4gCj4gPiBJIGhhdmUgaGlnaGVyLW9yZGVyIGFyZ3Vt
ZW50cyB3aXRoIGxlbmd0aHkgdHlwZXMgYW5kIG1vZGVzLCBzdWNoIGFzOgo+ID4gCj4gPiDCoMKg
wqAgcHJlZChmaXNfYXJncywgbGlzdChzdHJpbmcpLCBtYXN0ZXJfbG9vcF9kYXRhLCBtYXN0ZXJf
bG9vcF9kYXRhLCBpbywKPiA+IGlvKQo+ID4gwqDCoMKgIDo6aW4ocHJlZChpbiwgaW4sIGluLCBv
dXQsIGRpLCB1bykgaXMgY2NfbXVsdGkpLAo+ID4gCj4gPiBOb3cgSSB3YW50IHRvIGFiYnJldmlh
dGUgaXQsIHNvIGl0IGJlY29tZXMgc29tZXRoaW5nIGxpa2UgdGhpczoKPiA+IAo+ID4gwqDCoMKg
IG1hc3Rlcl9wcmVwYXJlOjppbihtYXN0ZXJfcHJlcGFyZSksCj4gPiAKPiA+IEkndmUgdHJpZWQg
dGhpczoKPiA+IAo+ID4gOi0gdHlwZSBtYXN0ZXJfcHJlcGFyZSA9PQo+ID4gwqDCoMKgIHByZWQo
ZmlzX2FyZ3MsIGxpc3Qoc3RyaW5nKSwgbWFzdGVyX2xvb3BfZGF0YSwKPiA+IMKgwqDCoCBtYXN0
ZXJfbG9vcF9kYXRhLCBpbywgaW8pLgo+ID4gCj4gPiA6LSBpbnN0IG1hc3Rlcl9wcmVwYXJlID09
IHByZWQoaW4sIGluLCBpbiwgb3V0LCBkaSwgdW8pLgo+ID4gCj4gPiBUaGUgaW5zdCBkb2Vzbid0
IHdvcmsgLSB0aGUgcmlnaHQgc2lkZSBpcyBhIG1vZGUsIG5vdCBhbiBpbnN0LiBUaGlzCj4gPiBk
b2Vzbid0Cj4gPiB3b3JrIGVpdGhlcjoKPiAKPiBUaGF0IGRvZXNuJ3Qgd29yayBmb3IgdHdvIHJl
YXNvbnM6Cj4gCj4gMS4gVGhlIFJIUyBpcyBub3QgYSBtb2RlIG5vciBhbiBpbnN0LiBBIGhpZ2hl
ci1vcmRlciBpbnN0wqAgbmVlZHMgdG8KPiBib3RoIGRlc2NyaWJlIHRoZSBtb2Rlcwo+IG9mIHRo
ZSBhcmd1bWVudHMgKmFuZCogdGhlIGRldGVybWluaXNtIChpLmUuIHlvdSd2ZSBsZWZ0IG91dCAi
aXMKPiBjY19tdWx0aSIpLgo+IAo+IDIuIFRoZSBzZWNvbmQgcmVhc29uIGlzIHRoYXQgZHVlIHRv
IHRoZSByZWxhdGl2ZSBwcmVjZWRlbmNlIG9mIHRoZQo+ICI9PSIgYW5kICJpcyIgb3BlcmF0b3Jz
Cj4geW91IG5lZWQgdG8gZW5jbG9zZSB0aGUgUkhTIGluIHBhcmVudGhlc2lzLgo+IAo+IEl0IHNo
b3VsZCBiZToKPiAKPiDCoMKgwqDCoCA6LSBpbnN0IG1hc3Rlcl9wcmVwYXJlID09IChwcmVkKGlu
LCBpbiwgaW4sIG91dCwgZGksIHVvKSBpcwo+IGNjX211bHRpKS4KPiAKPiAoU2VlIHRoZSAiSGln
aGVyLW9yZGVyIGluc3RzIGFuZCBtb2RlcyIgc2VjdGlvbiBvZiB0aGUgcmVmZXJlbmNlIG1hbnVh
bC4pCj4gCj4gSnVsaWVuLgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fXwp1c2VycyBtYWlsaW5nIGxpc3QKdXNlcnNAbGlzdHMubWVyY3VyeWxhbmcub3JnCmh0
dHBzOi8vbGlzdHMubWVyY3VyeWxhbmcub3JnL2xpc3RpbmZvL3VzZXJzCg==