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

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 \catcode`₍=\activecatcode\letcharcode`₍=\FancySubscript}

\appendtoks \FancyScripts \to \everymathematics

\starttext

test $ x⁽3y⁾ $

\stoptext

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 typeset, they should be superscripts and subscripts. — \definefallbackfamily [mainface][serif][stixtwotext][range={00B2-00B3,00B9,02070-0208F},force=yes] \definefallbackfamily [mainface][mono][stix][range={0100-10FFFF},force=yes] \definefallbackfamily [mainface][mono][stixtwotext][range={00B2-00B3,00B9,02070-0208F},force=yes] \definefallbackfamily [mainface][math][stixtwomath][range={00B2-00B3,00B9,02070-0208F},force=yes] \definefontfamily [mainface][serif][stix] \definefontfamily [mainface][mono][courier] \definefontfamily [mainface][math][stix] \setupbodyfont [mainface,10pt] \setmathfontalternate{upright} \setupmathematics[integral=nolimits, lcgreek=normal, default=normal] \setupformulae[location=left, indentnext=auto] \setuptyping[indentnext=auto] % Might use: 'small' indentation, no indentation on 'first': \setupindenting[yes, medium, next] \setupheads[indentnext=yes] \setupinteraction[state=start, click=yes, focus=standard, color=darkblue] \mainlanguage[en] \protected\def\FancySuperscript#1⁾{\superscript{#1}} \protected\def\FancySubscript #1₎{\subscript {#1}} \protected\def\FancyScripts {\catcode`⁽=\activecatcode\letcharcode`⁽=\FancySuperscript \catcode`₍=\activecatcode\letcharcode`₍=\FancySubscript} \appendtoks \FancyScripts \to \everymathematics \starttext Course-of-values induction: $$𝜞 ⊢ 𝑷(0); 𝜞, 𝒚 ≤ 𝒙 ⇒ 𝑷(𝒚) ⊢⁽𝒚⁾₍𝒙₎ 𝑷(s(𝒙)) ⊩ 𝜞 ⊢ 𝑷(𝒕)$$ \stoptext —