Going through the syntax tables: ((a,b),(c,d)) |-> ul x < 10 != y ~~ (dz)/(dt) !in RR -> oo which is equal to: \begin{pmatrix} a & b \\ c & d \end{pmatri

Going through the syntax tables: ((a,b),(c,d)) |-> ul x < 10 != y ~~ (dz)/(dt) !in RR -> oo which is equal to: \begin{pmatrix} a & b \\ c & d \end{pmatrix} \mapsto \underline x \lt 10 \ne y \approx \frac{dz}{dt} \notin \mathbb{R} \to \infty Though some may prefer TeX even in this case due to being more explicit.