> On 28 Dec 2021, at 22:29, Hans Hagen <j.ha...@xs4all.nl> 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
—
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://context.aanhet.net
archive : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___________________________________________________________________________________
