enztec Sun, 05 Feb 2017 12:57:06 -0800
what are these called ⊃ disclose ⊂ enclose
⊣ ? ⊢ ? ∩ ? ∪ ? ⍝ lamp? ⊤ encode ⊥ decode