The notation is an Alternating Inference Chain, or AIC. You can read more about it at
the Sudopedia AIC page. AIC notation is by far the most common form of notation here on the Forum. At it's basic level it is well standardized. However there isn't complete agreement on how to notate some of the more complex techniques.
R13C1 is not a typo, it indicates a grouped link, i.e. the 4s that appear in both R1C1 and R3C1 taken together as a group.
Many of us use programs to produce the upload format with pencil marks, though I've gotten fairly good at typing it free hand. They are easiest to create by hand in editors that support fixed width fonts, but can be done without that as long as you keep track of the max number of pencil marks in each column. You can also use the preview feature on the forum to see if you got all the spacing right.