F4 (mathematics)