Square Image Of Or Equal To (โŠ‘)

May 25, 2022 ยท View on GitHub

View this file with results and syntax highlighting here.

Square Image Of Or Equal To (โŠ‘)

โŠ‘ ๐•ฉ: First

โ†’full documentation

First element of ๐•ฉ.

    โŠ‘ โŸจ1, 2, 3โŸฉ

    a โ† 3โ€ฟ3 โฅŠ โ†•9

    โŠ‘ a

๐•จ โŠ‘ ๐•ฉ: Pick

โ†’full documentation

Pick the element of ๐•ฉ at index ๐•จ.

    2 โŠ‘ โŸจ1, 2, 3โŸฉ

    b โ† 3โ€ฟ3 โฅŠ โ†•9

    2โ€ฟ0 โŠ‘ b