1st math item: Want to prove Trefoil knot ≠< / m a t h U n k n o t ( v i a T r i c o l o r a b i l i t y ) {\displaystyle \neq </mathUnknot(viaTricolorability)}
