Re: [NTG-context] Unicode superscript and subscript parentheses as operators

2021-12-28 Thread Hans Åberg via ntg-context
> On 28 Dec 2021, at 22:29, Hans Hagen wrote: > > \protected\def\FancySuperscript#1⁾{\superscript{#1}} > \protected\def\FancySubscript #1₍{\subscript {#1}} > > \protected\def\FancyScripts > {\catcode`⁽=\activecatcode\letcharcode`⁽=\FancySuperscript >

Re: [NTG-context] Unicode superscript and subscript parentheses as operators

2021-12-28 Thread Hans Hagen via ntg-context
On 12/28/2021 10:53 PM, Hans Åberg wrote: On 28 Dec 2021, at 22:29, Hans Hagen wrote: \protected\def\FancySuperscript#1⁾{\superscript{#1}} \protected\def\FancySubscript #1₍{\subscript {#1}} \protected\def\FancyScripts {\catcode`⁽=\activecatcode\letcharcode`⁽=\FancySuperscript

Re: [NTG-context] Unicode superscript and subscript parentheses as operators

2021-12-28 Thread Hans Hagen via ntg-context
On 12/28/2021 10:53 PM, Hans Åberg wrote: This is great, though there is a typo in the second line. I attach a corrected example, illustrating what I might use it for: A logic program, where I found it readable in plain text to use the Unicode superscript and subscript parentheses. But when

Re: [NTG-context] Unicode superscript and subscript parentheses as operators

2021-12-28 Thread Hans Hagen via ntg-context
On 12/28/2021 5:54 PM, Hans Åberg via ntg-context wrote: Is it possible to use the Unicode superscript and subscript parentheses as superscript and subscript operators? That is, ⁽…⁾ having the same function as ^{…}, and ₍…₎ as _{…}. It might be something like the following, but somehow

Re: [NTG-context] Unicode superscript and subscript parentheses as operators

2021-12-28 Thread Hans Åberg via ntg-context
> On 28 Dec 2021, at 23:05, Hans Hagen wrote: > > On 12/28/2021 10:53 PM, Hans Åberg wrote: > >> This is great, though there is a typo in the second line. I attach a >> corrected example, illustrating what I might use it for: A logic program, >> where I found it readable in plain text to use

Re: [NTG-context] Is there a syntax for making many index entry's all in one?

2021-12-28 Thread Hans Hagen via ntg-context
On 12/28/2021 11:09 PM, Joel via ntg-context wrote: I am using \index{} to populate \placeindex (an index) with items. I am wondering if there is any syntax that allows one \index{} command to define more than one entry, for example, something like this: \index{presidents+Lincoln, Abraham;

Re: [NTG-context] Strange behavior with \startbodymatter ... \stopbodymatter

2021-12-28 Thread Wolfgang Schuster via ntg-context
Fabrice Couvreur via ntg-context schrieb am 28.12.2021 um 15:34: Hi, In my file cours_premiere.tex if I indicate  \startbodymatter       \component[probabilites.tex]  \stopbodymatter I get the following error message tex error     > tex error on line 49 in file ./cours_premiere.tex:

[NTG-context] Is there a syntax for making many index entry's all in one?

2021-12-28 Thread Joel via ntg-context
I am using \index{} to populate \placeindex (an index) with items. I am wondering if there is any syntax that allows one \index{} command to define more than one entry, for example, something like this: \index{presidents+Lincoln, Abraham; Lincoln, Abraham} The result is two appearances in the

Re: [NTG-context] Unicode superscript and subscript parentheses as operators

2021-12-28 Thread Hans Åberg via ntg-context
> On 28 Dec 2021, at 23:03, Hans Hagen wrote: > > On 12/28/2021 10:53 PM, Hans Åberg wrote: >> \starttext >> Course-of-values induction: >> $$휞 ⊢ 푷(0); 휞, 풚 ≤ 풙 ⇒ 푷(풚) ⊢⁽풚⁾₍풙₎ 푷(s(풙)) ⊩ 휞 ⊢ 푷(풕)$$ >> \stoptext > > stay away from $$ but use > > \startformula > 휞 ⊢ 푷(0); 휞, 풚 ≤ 풙 ⇒ 푷(풚)

[NTG-context] Strange behavior with \startbodymatter ... \stopbodymatter

2021-12-28 Thread Fabrice Couvreur via ntg-context
Hi, In my file cours_premiere.tex if I indicate \startbodymatter \component[probabilites.tex] \stopbodymatter I get the following error message tex error > tex error on line 49 in file ./cours_premiere.tex: Undefined control sequence \pgfmath@settrigformat

[NTG-context] Unicode superscript and subscript parentheses as operators

2021-12-28 Thread Hans Åberg via ntg-context
Is it possible to use the Unicode superscript and subscript parentheses as superscript and subscript operators? That is, ⁽…⁾ having the same function as ^{…}, and ₍…₎ as _{…}. It might be something like the following, but somehow bundling the last part of \letcharcode into a command.