TeX Quellcode:
M_4 \subseteq M_2