Welcome × 11. There have been some developments in character sets since the 60s, not that you’d know from our programming languages.
On DE-International that is on [AltGr]+[Shift]+[,]: ×
[0] http://docs.julialang.org/en/release-0.4/stdlib/collections/...