Regular assignments also use \\leftarrow. <- looks odd in Jupyter because it renders like < -PhiloxRNG, where it looks like less than minus.
\\leftarrow
<-
< -PhiloxRNG