Add definition for $\[] in case it's not available in cross.fs