from typing import List
import math


def matrix(a : float) -> List[List[float]]:
    """Returns the 2x2 rotation matrix representing a rotation about the
    angle a."""
    c = math.cos(a)
    s = math.sin(a)
    return [[c,-s],[s,c]]