Assertion: rotation's point | /r/HasProperty | multiplied by a rotation matrix
Facets:
Source sentences:
text: In two dimensions, to carry out a rotation using a matrix, the point (x, y) to be rotated counterclockwise is written as a column vector, then multiplied by a rotation matrix calculated from the angle θ: