Źródło TeX:
v^{*}\leftarrow v,x^{*}\leftarrow x