Hacker News new | ask | show | jobs
by forgotpwd16 1246 days ago
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.