Removing notes on \

docs/syntax/types.md

@@ -87,7 +87,6 @@ working with types. These are listed below.
 |   `;`    |         `< :`, `> =`         |  -2   |  Left  | Concatenates the left and right operand typesets to create a new typeset.   |
 |   `\|`   | `> <:`, `> !`, `> in`, `> :` |   5   |  Left  | Computes the union of the left and right operand typesets.                  |
 |   `&`    |            `> \|`            |   6   |  Left  | Computes the intersection of the left and right operand typesets.           |
-|   `\`    |            `> &`             |   7   |  Left  | Computes the subtraction of the right typeset from the left typeset.        |
 |   `:=`   |     `< :`, `> =`, `> ;`      |  -1   |  Left  | Creates a typeset member by assigning a value to a label.                   |
 
 <!-- prettier-ignore-end -->
@@ -108,7 +107,6 @@ bind (`=`) has a relative level of -3 in this ordering.
 (declare-fun tsConcat () Int) ; `;`
 (declare-fun tsUnion () Int)  ; `|`
 (declare-fun tsInter () Int)  ; `&`
-(declare-fun minus () Int)    ; `\`
 (declare-fun tsMember () Int) ; `:=`
 
 (assert (> ascrip bind))

docs/types/hierarchy.md

@@ -194,10 +194,8 @@ They are as follows:
   product types.
 - **Union - `|`:** This operator creates a typeset that contains the members in
   the union of its operands.
-- **Intersection - `|`:** This operator creates a typeset that contains the
+- **Intersection - `&`:** This operator creates a typeset that contains the
   members in the intersection of its operands.
-- **Subtraction - `\`:** This operator creates a typeset that contains all of
-  the members in the left operand that do not occur in the right operand.
 
 For information on the syntactic usage of these operators, please see the
 section on [type operators](#../syntax/types.md#type-operators) in the syntax