Right now, we support the notation `X & Y`, where `X` and `Y` are `RV`s. We should also support the notation `0 & X` and `t & X`, where `t` is a `TimeFunction`.
Right now, we support the notation
X & Y, whereXandYareRVs. We should also support the notation0 & Xandt & X, wheretis aTimeFunction.