A 2D rotation can be represented by the following rotation matrix:

Verify of Orthogonality

The matrix is orthogonal as we can verify :

See Also