> 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
> 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
> 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); 휞, 풚 ≤ 풙 ⇒ 푷(풚)
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
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
> 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
>
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
