User:Mathieu/Notes
From Event-B
Jump to navigationJump to search
vim regex
to replace an ASCII/symbol row to the equivalent wiki notation
:s/\\; *\\; *\\; *\\texttt{\(.*\)} *\\; *\\; *& *\\; *\\; *\(.*\) *\\; *\\; *\\; *\\\\.*$/|-^M|\1||<math>\2<\/math>/g