Support \cdot for multiplication