Update <- -> to <: :> and <= => to <| |>