<meta http-equiv="Content-Type" content="text/html; charset=GB18030"><div>dvitype.web, lines 2268-9</div><div><div>@ Note that the last steps of the above code save the locations of the</div><div>the |post| byte and the final |bop|.  We had better declare these global</div></div><div><br></div><div>pltotf.web, line 431; vptovf.web, line 478</div><div><div>a blank space of width $r$ between the current character character and $c$;</div></div>