From:  Rosario19 <Ros@invalid.invalid>
Date:  07 Jul 2019 15:12:55 Hong Kong Time
Newsgroup:  news.alt119.net/comp.lang.apl
Subject:  

NARS and in set instruction

NNTP-Posting-Host:  null

i not have unserstood how 1 2 can be element of enclosed 1 2... it
seems there are difference from the old and the new version of Nars...


{quad}fmt ({leftshoe}1 5){epsilon}{leftshoe}1 2
{cr}{lf}1{cr}{lf}~{cr}{lf}{quad}fmt ({leftshoe}1 5){epsilon}1 2
{cr}{lf}1{cr}{lf}~{cr}{lf}{quad}fmt ({leftshoe}1
2){epsilon}{leftshoe}1 2      {cr}{lf}1{cr}{lf}~{cr}{lf}{quad}fmt
({leftshoe}1 2){epsilon}{leftshoe}1 3
{cr}{lf}1{cr}{lf}~{cr}{lf}{quad}fmt ({leftshoe}1
2){epsilon}{leftshoe}{leftshoe}1 3
{cr}{lf}0{cr}{lf}~{cr}{lf}{quad}fmt ({leftshoe}1
2){epsilon}{leftshoe}{leftshoe}1 2
{cr}{lf}0{cr}{lf}~{cr}{lf}{quad}fmt ({leftshoe}1
2){epsilon}{leftshoe},{leftshoe}1 2      {cr}{lf}0{cr}{lf}~{cr}{lf}


where ² is quad, » is leftshoe or enclose, - is epsilon
²fmt (»1 5)­»1 2      
1
~
²fmt (»1 5)­1 2      
1
~
²fmt (»1 2)­»1 2      
1
~
²fmt (»1 2)­»1 3      
1
~
²fmt (»1 2)­»»1 3      
0
~
²fmt (»1 2)­»»1 2      
0
~
²fmt (»1 2)­»,»1 2      
0
~