A set of LaTeX math symbols, for writing transition arcs in modal transition systems