Square Image Of (โŠ)

December 21, 2022 ยท View on GitHub

View this file with results and syntax highlighting here.

Square Image Of (โŠ)

โŠ ๐•ฉ: First Cell

โ†’full documentation

First major cell of ๐•ฉ.

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

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

    โŠ a

๐•จ โŠ ๐•ฉ: Select

โ†’full documentation

Select the major cells of ๐•ฉ at the indices in ๐•จ.

    2โ€ฟ0 โŠ โŸจ1, 2, 3โŸฉ

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

    2โ€ฟ0 โŠ b