I read recently about a "juxtaposition operator" in Fortress. This is the (overloadable) operator that allows "A x" to mean "A multiplied by x". Coupled with the ability to use unicode for things like sums, etc., it makes a beautiful syntax for mathematicians.