| Original | Umsetzung |
|---|---|
| $A\subset B$ | $A\subset B$ |
| $A\supset B$ | $A\supset B$ |
| $A\subseteq B$ | $A\subseteq B$ |
| $A\supseteq B$ | $A\supseteq B$ |
| $A\subseteqq B$ | $A\subseteqq B$ |
| $A\supseteqq B$ | $A\supseteqq B$ |
| $A\subsetneq B$ | $A\subsetneq B$ |
| $A\supsetneq B$ | $A\supsetneq B$ |
| $A\subsetneqq B$ | $A\subsetneqq B$ |
| $A\supsetneqq B$ | $A\supsetneqq B$ |
| $a\in A$ | $a\in A$ |
| $A\ni a$ | $A\ni a$ |
| $a\notin A$ | $a\notin A$ |
| $A\notni a$ | $A\notni a$ |