WolframAlpha computational knowledge AI
{{1,-t},{0,1}}*{{P_00,P_01},{P_10,P_11}}