Fuente TeX:
f:C\rightarrow A\times B