> 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
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.