Results 3 comments of Ian

Yeah, in that case I'm not sure we need the can[u][v] either. It would probably be clearer to say something like "If for every node $x$, there is a path...

I would also like for this to be added.

Thank you! I had tried that, but with the applicable environment of the template set as only "LaTeX: math". It works only if you set the applicable environment to include...