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

stay away from $$ but use \startformula 𝜞 ⊢ 𝑷(0); 𝜞, 𝒚 ≤ 𝒙 ⇒ 𝑷(𝒚) ⊢⁽𝒚⁾₍𝒙₎ 𝑷(s(𝒙)) ⊩ 𝜞 ⊢ 𝑷(𝒕) \stopformula -- ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl -----------------------------------------------------------------

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 typeset, they should be superscripts and subscripts. i still want to come up with domain specific math features ... sp fpr instance we could have a module for logic but it's users who have to come up with demands ...

Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl -----------------------------------------------------------------

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 the Unicode superscript and subscript parentheses. But when typeset, they should be superscripts and subscripts. i still want to come up with domain specific math features ... sp fpr instance we could have a module for logic but it's users who have to come up with demands ...

With direct bindings in LuaTeX it might be easier. —TeX syntax is good for writing by hand only.