Open topic with navigation

Right Tack ⊢
Monadic Right Tack means

Same 

      ⊢  1 2 3
1 2 3
Dyadic Right Tack means

Right 

      'L' ⊢ 'R'
R
      ⊢/ 1 2 3
3

Language Elements