Define the more efficient osyntax multiplication operation.

This is from the JAR2005 article by Manolios and Vroon.