Bert Freudenberg <bert at isg.cs.uni-magdeburg.de> wrote:
	> For consistency with #(1 2 3) * #(4 5 6), it is important that the
	> symbol for matrix multiplication should NOT be *.
	
	Why? #* means component-wise multiplication, period. "Real" matrix 
	multiplication should use something different.
	
Then we agree.