cx nat \ cy \ «vv tv » $c \\