Bow Tie (โ‹ˆ)

โ‹ˆ ๐•ฉ: Enlist

โ†’full documentation

Put ๐•ฉ in a single element list. (โŸจ๐•ฉโŸฉ)

โ†—๏ธ
    โ‹ˆ 1
โŸจ 1 โŸฉ

    โ‹ˆ 4โ€ฟ4 โฅŠ 3โ€ฟ67โ€ฟ8โ€ฟ0
โ”Œโ”€              
ยท โ”Œโ”€            
  โ•ต 3 67 8 0    
    3 67 8 0    
    3 67 8 0    
    3 67 8 0    
             โ”˜  
               โ”˜

๐•จ โ‹ˆ ๐•ฉ: Pair

โ†’full documentation

Put ๐•จ and ๐•ฉ in a two element list. (โŸจ๐•จ, ๐•ฉโŸฉ)

โ†—๏ธ
    1 โ‹ˆ 2
โŸจ 1 2 โŸฉ

    1 โ‹ˆ "dsdasdas"
โŸจ 1 "dsdasdas" โŸฉ

    (3โ€ฟ3 โฅŠ 3) โ‹ˆ 67โ€ฟ'a'โ€ฟ"example"
โ”Œโ”€                                
ยท โ”Œโ”€        โŸจ 67 'a' "example" โŸฉ  
  โ•ต 3 3 3                         
    3 3 3                         
    3 3 3                         
          โ”˜                       
                                 โ”˜